I have a Raspberry PI 5, plus the Build HAT for connecting Lego motors and sensors, and the official 48W Build HAT power supply. The system is up and running and successfully ran some sensor and motor tests. But every time I boot up, I get this message at the top right of my screen: "This power supply is not capable of supplying 5A. Power to peripherals will be restricted". So far I have figured out that the problem is that the PI 5 needs to do PD negotiation with its power supply, which can't be done when power is supplied via the Build HAT. There seems to be a workaround that involves editing the PSU_MAX_CURRENT value in the PI 5 Bootloader configuration file to skip PD negotiation. I haven't tried that yet, and thought I should ask if there is a more "canonical" way to deal with this problem, if it is indeed a problem (I haven't yet tried to connect USB peripherals with heavy current requirements). Anyone out there with experience using the Build HAT with a PI 5 who can suggest a solution to this issue? Thanks.