Closes T154: pmap, kernel: Add support for write-combining on ia32/64