[U-Boot] [PATCH] configs: stm32mp15: Select correct Ethernet driver for trusted mode