[LinuxBIOS] r2567 - trunk/LinuxBIOSv2/src/arch/i386/lib