Re: [LinuxBIOS] LinuxBios on a HP ePC C10 to speed up boot time