Re: [LinuxBIOS] The purpose of linuxbios_init