FAQ4: Minor correction

$ diff -u faq4.html.old faq4.html
--- faq4.html.old       Mon May  2 12:55:26 2011
+++ faq4.html   Mon May  2 12:55:47 2011
@@ -462,7 +462,7 @@
 Booting an install media on the i386 and amd64 PC platforms is nothing new
 to most people.
 Your system will have to be instructed to boot from whatever media you have
-chosen to use, usually either through a BIOS setup option.
+chosen to use, usually through a BIOS setup option.
 If you want to boot from CD, your system BIOS must able to and be set to
 boot from CD.
 Some older systems do not have this option, and you must use a floppy