mione_plus: update kernel base