Startup code for s390-64.