[U-Boot] FYI: scripts for manually converting options to Kconfig