Comment 1 for bug 1177788

Revision history for this message
Ryan Harkin (ryanharkin) wrote :

That's not a bug with reboot, but a bug with UEFI reading the kernel from the SD card.