isaki f5af824fa5 Check whether we have an FPU regardless of FPU_EMULATE option.
It prevents a kernel panic when we don't have an FPU and FPU_EMULATE
option is not set.
Thanks tsutsui@ for advice.
2013-10-14 12:20:05 +00:00
..
2013-10-11 03:37:08 +00:00