> I think my old chromebook uses GPIO interrupts [1].

It does.

This means that my logic to get gpio interrupt information is not
working, or maybe too paranoid.

Would you be able to test a variant of this diff with extra debugging
details added, to help me figure out what prevents the diff from
behaving as intended?

Miod