rockchip: fixup board choice in Kconfig