The internal interrupts are hardcoded to be level-triggered, but we need
to make sure the OpenPIC code knows that...