BoardConfig-rk3126c-evb-ddr3-v10.mk