KiCad boards from 1 GitHub repository tagged “rpi-hat”, the most starred first; open any of them in PCBKit.
KPI-Rover/rpi-power-hat
Power hat for RPI