Re: [patch 2/6] x86 efi: reserve boot service fix