For most Arduino boards we must call digitalPinToInterrupt to ensure we get the right interrupt pin in BasicInterruptAbstraction.