1. 2011-12-31 Re: [PATCH] x86: efi: Allow basic EFI use on mixed 32/64 firmware/kernel linux-kernel Olof Johansson 2. 2011-12-30 [PATCH] x86: efi: Allow basic EFI use on mixed 32/64 firmware/kernel linux-kernel Olof Johansson 3. 2011-12-30 [PATCH] x86: efi: Allow basic EFI use on mixed 32/64 firmware/kernel linux-kernel Olof Johansson