Apparently all but first parameters are passed to xen.efi, so it is possible to select which config section should be used. This makes xen.efi copy unnecessary.