fix patch script for jbx-kernel