kernel: move CONFIG_MIPS_O32_FP64_SUPPORT to generic configs