BoardConfig.mk: Switch to JBX-Kernel