Changing kernel flavour in generated images of virt