[PATCH 5.4 025/259] x86/xen: Convert comma to semicolon