[RFC] should BIOS change the efi type when we set CONFIG_X86_RESERVE_LOW ?

[Xishi Qiu <qiuxishi@xxxxxxxxxx>]

Hi, I find CONFIG_X86_RESERVE_LOW=64 in my system, so trim_low_memory_range()
will reserve low 64kb memory. But efi_free_boot_services() will free it to
buddy system again later because BIOS set the type to EFI_BOOT_SERVICES_CODE.

Here is the log:
...
efi: mem03: type=3, attr=0xf, range=[0x000000000000e000-0x0000000000010000) (0MB
...