all 6 32-bit kernels working properly (all 68k test cases successful)