[PATCH] fix efi_memory_present_wrapper()