No, apparently the BIOS module named "Notebook" is...

No, apparently the BIOS module named "Notebook" is just the power-management BIOS kernel.

Btw, if I do end up removing some modules - how are they called from the main BIOS portion? Do I need to patch out the calls too, or are BIOS modules simply not called into if they aren't present in AMI BIOS?

I noticed that for the PXE boot-rom, it is listed as a PCI option rom module-type, and the "load address" is not an address, but the 16:16 PCI device-ID code.