
But suddenly I noticed something more that could be optimized: even though the boards work, shouldn't they also work without using Phi2? (since #PRG is supposed to be A15 NAND Phi2, so Phi2 line is already present when using #PRG without having to explicitly use it again).
I might remove the Phi2 signal from U6, replacing it with a connection to VCC, and see what happens.