kernel compilation for BBB