Matthew Garrett 07e5220f60 Add the kernels to the ESP
Once we're signing the root filesystem, we're not going to be able to boot
the kernel from there. Copy the kernel out to the EFI System Partition and
sign it.
2015-04-16 15:55:02 -07:00
..
2015-04-16 15:55:02 -07:00
2015-04-15 11:24:17 -07:00
2014-12-17 14:52:04 -08:00