Michael Rüttgers f03ccf86d6 Add support for x86-xen_domu target 9 lat temu
..
profiles.mk f03ccf86d6 Add support for x86-xen_domu target 9 lat temu
vermagic f03ccf86d6 Add support for x86-xen_domu target 9 lat temu