K 10 svn:author V 3 imp K 8 svn:date V 27 2019-06-06T21:04:37.880487Z K 7 svn:log V 246 Use simple malloc/free instead of dropping down to the UEFI BootServices AllocatePool/FreePool calls. They are simpler to use and result in the same thing happening. Reviewed by: tsoome@ Differential Revision: https://reviews.freebsd.org/D20540 END