x86/fpu: Make 'no387' and 'nofxsr' command line options useful