Available memory in UEFI