[U-Boot] [PATCH v3 0/3] Add ISC SPDX, import Kconfiglib and improve genboardscfg.py