FPU type is now initialized to a sane value when there is no configuration.

src/config.c

@@ -1337,6 +1337,7 @@ config_load(void)
 #endif
 	scale = 1;
 	machine = machine_get_machine_from_internal_name("ibmpc");
+	fpu_type = fpu_get_type(machine, cpu_manufacturer, cpu, "none");
 	gfxcard = video_get_video_from_internal_name("cga");
 	vid_api = plat_vidapi("default");
 	time_sync = TIME_SYNC_ENABLED;