Note that Kconfig.models was not generated with gen_kconfig.py tool due to lack of ProductsList.xlsx file for STM32MP1 family. Signed-off-by: Gilles DOFFE <gilles.doffe@savoirfairelinux.com>