[U-Boot] [PATCH v6 12/15] buildman: adjust for Kconfig