fix for jbx-kernel