s390/nmi: change type of mcck_interruption_code lowcore field