root/src/system/kernel/platform/bios_ia32/platform.cpp 
/*

        Just a dummy. No BIOS services are required in the kernel.

*/