fix freshcoin kernel not recognized