"All of that is very well understood and any kernel with least 15 years of x86 history knows how to do it" Ok. But booting from refit with multiple os is very convenient with, say, grub. I get your point now. We agree. -- Jog