Choose what kernel to use for the autoinstaller based on what dom0 is