use the defconfigs provided by hardkernel