5dded94793
based systems. Untested on shark, but is the right thing to do. I suspect the original arm32 intr.h had the bug, and when the ports split we just took the bug.