RK3188 kernel source (unofficial), modified to parameterize hardware settings and clock speeds