This is now a HAL only kernel, and 0x3200000 is most likely somewhere in RAM.
Attach a file by drag & drop or click to upload
