KiCad boards from 1 GitHub repository tagged “raspberry-pi-400”, the most starred first; open any of them in PCBKit.
llegoff/Pi400VGA
VGA interface for Raspberry pi 400