[U-Boot] [PATCH 05/19] stm32mp1: cosmetic cleanup Kconfig