Log something from machine initialization.

The machine type and its corresponding source file name should appear once in the log output.

machines/machinecatalyst.cpp

@@ -36,6 +36,8 @@ along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
 int initialize_catalyst(std::string& id)
 {
+    LOG_F(INFO, "Building machine catalyst");
+
     PlatinumCtrl* platinum_obj;
 
     PCIHost *pci_host = dynamic_cast<PCIHost*>(gMachineObj->get_comp_by_name("Bandit1"));

machines/machinegazelle.cpp

@@ -47,6 +47,8 @@ int get_cpu_pll_value(const uint64_t cpu_freq_hz) {
 
 int initialize_gazelle(std::string& id)
 {
+    LOG_F(INFO, "Building machine gazelle");
+
     PCIHost *pci_host = dynamic_cast<PCIHost*>(gMachineObj->get_comp_by_name("PsxPci1"));
 
     // register O'Hare I/O controller with the main PCI bus

machines/machinegossamer.cpp

@@ -94,6 +94,8 @@ static void setup_ram_slot(std::string name, int i2c_addr, int capacity_megs) {
 
 int initialize_gossamer(std::string& id)
 {
+    LOG_F(INFO, "Building machine gossamer");
+
     // get pointer to the memory controller/PCI host bridge object
     MPC106* grackle_obj = dynamic_cast<MPC106*>(gMachineObj->get_comp_by_name("Grackle"));
 

machines/machinepdm.cpp

@@ -38,6 +38,8 @@ along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
 int initialize_pdm(std::string& id)
 {
+    LOG_F(INFO, "Building machine pdm");
+
     uint16_t machine_id;
 
     // get raw pointer to HMC object

machines/machinetnt.cpp

@@ -36,6 +36,8 @@ along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
 int initialize_tnt(std::string& id)
 {
+    LOG_F(INFO, "Building machine tnt");
+
     HammerheadCtrl* memctrl_obj;
 
     PCIHost *pci_host = dynamic_cast<PCIHost*>(gMachineObj->get_comp_by_name("Bandit1"));