Kernel modifications from A20-Olinuxino stock kernel