>>> > AFAIK it seems this patch is even necessary for new kernels in the case > EFI64 boots a 32 Bit kernel, right? I think it is, yes. I will try to do more test myself. I hope I will be able to tell more this week. Thomas Letan <<< Whenever you get a minute please let us know. Thanks ;-) Best, Patrick