When the RPi4 was released I remember reading that one of the reasons for changing the power connector to USB-C was to get a little more available power. If I want to make a HAT that supplies (+5VDC) power to an RPi 4, how much current does it need to be able to source? Is it still about 2A or does the new model need more?