K 10 svn:author V 3 imp K 8 svn:date V 27 2015-12-19T19:01:42.504447Z K 7 svn:log V 153 Pass the UEFI system table into the kernel from the boot loader via the FW_HANDLE metadata item. The kernel can get the rest of what it needs from this. END