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