[PATCH 5.15 037/484] x86/xen: Convert comma to semicolon