s390: add support to start the kernel in 64 bit mode.