On Fri, Mar 23, 2018 at 08:16:11AM +0100, Paul Menzel wrote: > As for some users boot speed is quite important, shaving 400 ms off the boot > time is quite nice. And then they use BIOS which is aweful slow in disk access, so the time is used instead to actually read the blocks from disk? Bastian -- Dammit Jim, I'm an actor, not a doctor.