Nem tudom, ha Linuxon-Linuxot bootolok, akkor az EFI igazából irrelevánsnak tűnik, és nálunk a Xen az Linuxon-Linux alapvetően, még a direkt kernelt is használjuk. :) Ahol van rá igény, ott pygrubot nagyon szívesen beállítunk, hogy a "gyári" vagy egyedi kernel pörögjön.