[ros-diffs] [sginsberg] 44057: - Set and check for the correct PTE write bits on x86 SMP. The MP kernel is now functional again.