@Sebastian-Roth I stand corrected after a long day of typing.

I really do know the difference between iPXE kernels and linux kernels even though my fingers lie once and a while.