x86/efi: Fix dummy variable buffer allocation