Which one of the following is not a platform specific code?

• A. x86 BIOS
• B. EFI on ia64
• C. both x86 BIOS and EFI on ia64
• D. none of the mentioned