This will allow to boot the HVM using provided kernel directly (loaded by qemu in stubdomain), without need for additional bootloader. Fixes QubesOS/qubes-issues#2822