alloc_uefi (cargo): Allocator for a UEFI environment. 
Keywords: uefi|alloc