I was under the impression I am seeing init being forked by the kernel (which I was told is lwp0), but that is not the case. This is also not the first fork1 call. So I am back to looking at machine-dependent code disabling interrupts and not enabling them back.