[PATCH 6.1 073/440] x86/xen: Convert comma to semicolon