kernel: add JBX_3072