LinuxBIOS for fast boots