I'm currently working with the Seed STM32MP1 SoM which has STPMIC1 attached to I2C2. I've been working on setting up a device tree for it, but I've been hitting some bugs. When booting the mainline ATF with my device tree (modified DK2 board, just wi...