Windows CE -- from a kernel and userland foundations perspective -- is quite solid. It's a hard-RTOS, it supports pervasive SMP as of 7, the kernel is modular as hell and well designed, and it's very performant. There's nothing in the CE design that would make updating difficult in the least.
