x86/efi: Fix off-by-one bug in EFI Boot Services reservation