More Kconfig-supported boards, and also kconfig support