Re: [LinuxBIOS] Slow kernel loading?