
symptom:

crash in openfirmware after call from OF_write()

Address of stack is truncated from 64-bit to 32-bit causing a TLB miss due to the invalid address





