[mftrhu]

I am still using a 2012 X230 and it taking 40 seconds to boot already feels slow. Six minutes sounds like an HDD boot, but console lagging? I don't know how that could even happen - I occasionally run OpenBSD on an even older Atom netbook, and even (un-accelerated) X doesn't really lag.