xen-vgt: modified initial kernel configurations