kernel: switch to boost::signals2