[PATCH v5 1/4] kernel: move xen.mk to virtual.mk