config["ENABLE_FPU"]=get_yes_no("Enable x87 FPU", True)
config["ENABLE_SSE"]=get_yes_no("Enable SSE")