[U-Boot] [RFC PATCH 09/17] buildman: adjust for Kconfig