[fix] update for new version of mwc_kernel