Re: [LinuxBIOS] Fast booting