We should migrate the kernel to C++0x -- including, ideally, porting a limited subset of libstdc++ and libsupc++. Look into exception support as well but it's not necessary.