Changing the MEMC doesn't update FPU options

[0x746172677A]

Hi!
Switching to a different MEMC does not update the FPU choices list (and clear out/reset the currently selected FPU)

While messing with the settings of my a440 machine (a440, ARM2, FPPC, MEMC1a) I switched the MEMC1a to a regular MEMC1. The FPU field didn't switch to none and instead kept the FPPC. After confirming the change and booting into ROS, software successfully detects and uses the FPPC. Opening the machine config menu after this point just shows the FPU field as empty and clicking it only reveals one choice, None.

(The FPPC was detected by reading FPSR)