U

uefi_alloc

UEFI allocation support