kernel: switch to our jellybean kernel

*got halfways stable
*lots of OpenSEMC exclusive features