fix build of core_kernel with 4.01.0dev