Re: [Arm-netbook] Debian boots in 0.87 seconds