It can be overkill, I've to see what I've around here, but I was talking about taking out the +5V from the +12V 8A supply.
My thinking is provide one Input for 12V and then divided by the UCCM, Arduino and Raspberry.
UCCM - 5V 2.5A for start on OCXO warmup
Arduino - 5V 500mA with TFT
Raspberry 3 - 5V 1A
This should be around 12V 4A or maybe 3A
+12V 4A to one LT1085 feeding the UCCM, picking up the same +12V feeding one LM7805 to the Arduino, and another to the Raspberry.
Maybe one comparator, that compares the dropout of the OCXO warmup from 3A to 800mA, and then close one reed relay that will feed the Arduino and Raspberry.
In this approach there will be no display when power up, but since the GPSDO is to be run in contÃnuos mode, and even if it be unplug from time to time, no problem in staying 5 minutes without display.