If you look at things long enough, mistakes get noticed. I just updated the schematic with a 512Mbit EEPROM (not a bug) and replaced the 74LVC07 driver with a 74LVX50. The LVC07 would have the 5V tolerant inputs for the signal from Arduino to the video chip which I was looking for, but is an open-drain driver which does not really help with SPI signals. So I replaced it with the 74LVX50 which has the same package and pinout. Easy fix when the parts are not ordered yet.