mione_plus: update kernel