[U-Boot] [PATCH v2 08/11] buildman: adjust for Kconfig