deco33000 Thu, 04 Jun 2015 06:33:48 -0700
"..would let the kernel know about the EFI system table" Absolutely, and with no hassle.
-- Jog