On 11/27/13 at 11:07am, Dave Young wrote: > > > It will not work for efi 32bit. Only x86_64 currently. > > > > Actually, exporting the tables does work for 32-bit, right? It's just > > that kexec doesn't work for 32-bit EFI? > > It does not make sense to export them for 32-bit because we do not > support kexec efi on 32-bit. Will change the description to below: > > "kexec efi boot on 32-bit is not supported so I only export the tables > for 64-bit efi system." I thought about only enabling it for x86_64 and efi is in .config. Rethinking about this, since exporting code will also work for 32-bit so I will remove the lines you mentioned. Thanks Dave