PIR1 registry of this file has the wrong bitmask :
register name="PIR1" addr="0x0C" mask="11001001"
-> should read :
register name="PIR1" addr="0x0C" mask="11101111"
(shame etc.)
register name="PIR1" addr="0x0C" mask="11001001"
-> should read :
register name="PIR1" addr="0x0C" mask="11101111"
(shame etc.)