Fix incorrect CR0 handling on x86_32 systems