LPC: Booting Linux in five seconds