> Can we move this check before start_kernel and after the following > print: > > INIT: Starting kernel at 0xxxxx, fdt.... > > We would have let all skiboot boot routines complete and just stop at > a point we are about to execute kernel and get the original e40 exception > message. > Ok, sounds good. Mikey