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