KiCad boards from 1 GitHub repository tagged “4040”, the most starred first; open any of them in PCBKit.
ryomuk/SBC4040
Single Board Computer using Intel 4040
