IPL_START
.ipl_psw = { .mask = PSW32_MASK_BASE, .addr = PSW32_ADDR_AMODE | IPL_START },
.restart_psw = { .mask = 0, .addr = IPL_START, },