src/peripheral/scb.rs:835 has ``` const SCB_AIRCR_PRIGROUP_MASK: u32 = 0x5 << 8; ``` This field is three bits. The mask should be 0x7 or 0b111.