Kernel stuff for BBB Industrial Cape