> We need real CI resources
It would be easy to boot the 32-bit kernel in a VM as part of a CI pipeline and then run some automated tests to catch issues like this.
(Unless by "real" he means non-virtualised? Is there anything about these bugs that would only reproduce on bare metal?)