IIRC, it's only timer.device that needs to know what frequency the CIAs are run at
So you could have a little app writes to a register in the FPGA to select the master clock, and then poke in the PAL or NTSC values for TD_ECLOCKHERTZ,TD_ECLOCKCONST1,TD_ECLOCKCONST2 to switch modes without rebooting.
