[PATCH v8 05/12] x86/efi: EFI soft reservation to E820 enumeration