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