RK3128TOS.ini is a link to RK3126TOS.ini. With this path uboot evb-rk3128 can build successfully. Change-Id: I247e19a3c55fc36c4b0816a815cc67f4e6941c27 Signed-off-by: Shunqian Zheng <zhengsq@rock-chips.com>