Use IRQ_PRIORITY (not hard-coded number) in Serial3