[PATCH] s390: fix finish_arch_switch