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