disable FPU support

Signed-off-by: Stefan Lankes <slankes@eonerc.rwth-aachen.de>