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