Certain data accesses in the kernel should have volatile semantics to be correct...