diff --git a/commands/efi/loadbios.c b/commands/efi/loadbios.c
index 183ba7e85..f48e4c5cb 100644
--- a/commands/efi/loadbios.c
+++ b/commands/efi/loadbios.c
@@ -50,6 +50,7 @@ enable_rom_area (void)
       return 0;
     }
 
+  /* FIXME: should be macroified.  */
   addr = grub_pci_make_address (dev, 144);
   grub_pci_write_byte (addr++, 0x30);
   grub_pci_write_byte (addr++, 0x33);
@@ -76,6 +77,7 @@ lock_rom_area (void)
   grub_pci_address_t addr;
   grub_pci_device_t dev = { .bus = 0, .device = 0, .function = 0};
 
+  /* FIXME: should be macroified.  */
   addr = grub_pci_make_address (dev, 144);
   grub_pci_write_byte (addr++, 0x10);
   grub_pci_write_byte (addr++, 0x11);