[PATCH 3/5] Use correct %kernel_variant_post macro arguments for the Xen variant