1cfd4ccb3014 ("x86/Xen: tidy xen-head.S")