Thanks for that link. The PiHAT page does a much better job of explaining the details of how this works to me (as someone with a lot of hardware experience but not a lot of familiarity with the Broadcom SOC on the Pi).