RE: [PATCH] x86: Cache write back at 32-bit entry point