After I've fixed the problem of the non booting kernel, I've got an issue with switching off the Playstation. When I "poweroff", it goes through all the normal steps, but at the end it prints Disabling IRQ #46 and it hangs there. Any idea?