add jbxdiff.py for get jbx kernel config's change between devices.
use same defconfig for jbx