kernel for pcduino(bug fix for uart driver)