m68k: make support for FPU hardware configurable