kernel - Fix 32-bit build