boot i386 bios machine and see if the pcibios forth words are defined
boot i386 uefi machine and see if they are missing (and maybe define a efi one to test the linker set stuff there)
make universe
- I have a Intel Galileo board that will boot UEFI (tested with another review). I'll verify this bit there.