We identify devices correctly but cannot read events from them. The problem seems to be that low-level Linux events are 24 bytes on a 64-bit system compared to 16 bytes on a 32-bit system. This has two effects
1. We read the event fields at incorrect offsets
2. More strangely, our calls to read() on the device file descriptor fail with EINVAL when we request only 16 bytes. If we request 24 bytes we are able to read the event.