make fpu emulation support configurable through kernel_menuconfig by adding a prompt...