Ok, PR is now available with PIT improvements, needs a pulse on port B from somewhere, new functions

void update_tin() and
void p[a/b/c]_update_bit(uint8_t bit, uint8_t state);

should cover the need for hooking up the micro20, I have not tested it since I didn't know how to hook up the IRQ 6

Because I can