Switch to simpler home-grown interrupt controller (that actually works)