cpu frequency for sun4i
cbmc config for sun7i
using patwood's config
remove cbmc for sun7i
Merge branch 'master' of github.com:mmplayer/sunxi-kernel-config