oh i've read the wrong procedure ... fpc_cpuinit instead of fpc_cpucodeinit.

why can't you identify the processor during runtime in fpc_cpucodeinit
(or somewhere else, i didn't go through all of it yet) and act accordingly?