build and install a kernel for the bbb