Fixes kernel state tracking for 32 bit x86