BIOS -> UEFI update

3 files changed, 18 insertions, 18 deletions

diff --git a/en/preparing/bios-setup/i386.xml b/en/preparing/bios-setup/i386.xml
index 264003c61..37890bf5d 100644
--- a/en/preparing/bios-setup/i386.xml
+++ b/en/preparing/bios-setup/i386.xml
@@ -1,14 +1,14 @@
 <!-- retain these comments for translator revision tracking -->
 <!-- $Id$ -->
 
-  <sect2 arch="any-x86" id="bios-setup"><title>Invoking the BIOS Set-Up Menu</title>
+  <sect2 arch="any-x86" id="bios-setup"><title>Invoking the BIOS/UEFI Set-Up Menu</title>
 
 <para>
 
-The BIOS provides the basic functions needed to boot your machine and
+The BIOS/UEFI provides the basic functions needed to boot your machine and
 to allow your operating system to access your hardware.  Your system 
-provides a BIOS setup menu, which is used to configure the BIOS.
-To enter the BIOS setup menu you have to press  a key or key combination
+provides a BIOS/UEFI setup menu, which is used to configure the BIOS/UEFI.
+To enter the BIOS/UEFI setup menu you have to press a key or key combination
 after turning on the computer. Often it is the <keycap>Delete</keycap>
 or the <keycap>F2</keycap> key, but some manufacturers use other keys.
 Usually upon starting the computer there will be a message
@@ -21,7 +21,7 @@ stating which key to press to enter the setup screen.
 
 <para>
 
-Within the BIOS setup menu, you can select which devices shall be
+Within the BIOS/UEFI setup menu, you can select which devices shall be
 checked in which sequence for a bootable operating system. Possible choices
 usually include the internal harddisks, the CD/DVD-ROM drive and USB mass storage
 devices such as USB sticks or external USB harddisks. On modern systems there
@@ -35,43 +35,43 @@ are not already enabled.
 
 </para><para>
 
-Most BIOS versions allow you to call up a boot menu on system startup in
+Most BIOS/UEFI versions allow you to call up a boot menu on system startup in
 which you select from which device the computer should start for the
-current session. If this option is available, the BIOS usually displays
+current session. If this option is available, the BIOS/UEFI usually displays
 a short message like <quote>press <keycap>F12</keycap> for boot
 menu</quote> on system startup.
 The actual key used to select this menu varies from system to system;
 commonly used keys are <keycap>F12</keycap>, <keycap>F11</keycap> and
 <keycap>F8</keycap>. Choosing a device from this menu does not change
-the default boot order of the BIOS, i.e. you can start once from a 
+the default boot order of the BIOS/UEFI, i.e. you can start once from a
 USB stick while having configured the internal harddisk as the normal
 primary boot device.
 
 </para><para>
 
-If your BIOS does not provide you with a boot menu to do ad-hoc choices
-of the current boot device, you will have to change your BIOS setup to make
+If your BIOS/UEFI does not provide you with a boot menu to do ad-hoc choices
+of the current boot device, you will have to change your BIOS/UEFI setup to make
 the device from which the &d-i; shall be booted the primary boot device.
 
 </para><para>
 
-Unfortunately some computers contain buggy BIOS versions. Booting &d-i; from
+Unfortunately some computers may contain buggy BIOS/UEFI versions. Booting &d-i; from
 a USB stick might not work even if there is an appropriate option in the
-BIOS setup menu and the stick is selected as the primary boot device.  On
+BIOS/UEFI setup menu and the stick is selected as the primary boot device.  On
 some of these systems using a USB stick as boot medium is impossible; others
 can be tricked into booting from the stick by changing the device type in
-the BIOS setup from the default <quote>USB harddisk</quote> or <quote>USB
+the BIOS/UEFI setup from the default <quote>USB harddisk</quote> or <quote>USB
 stick</quote> to <quote>USB ZIP</quote> or <quote>USB CDROM</quote>. 
 <phrase condition="isohybrid-supported">
 In particular if you use an isohybrid installation image on a USB stick
 (see <xref linkend="usb-copy-isohybrid"/>), changing the device type to
 <quote>USB CDROM</quote> helps on some BIOSes which will not boot from a USB stick in 
 USB harddisk mode.</phrase>
-You may need to configure your BIOS to enable <quote>USB legacy support</quote>.
+You may need to configure your BIOS/UEFI to enable <quote>USB legacy support</quote>.
 
 </para><para>
 
-If you cannot manipulate the BIOS to boot directly from a USB stick you
+If you cannot manipulate the BIOS/UEFI to boot directly from a USB stick you
 still have the option of using an ISO copied to the stick. Boot &d-i;
 using <xref linkend="boot-drive-files"/> and, after scanning the hard
 drives for an installer ISO image, select the USB device and choose an
diff --git a/en/preparing/needed-info.xml b/en/preparing/needed-info.xml
index 2a0bef6f3..3a63ee6fa 100644
--- a/en/preparing/needed-info.xml
+++ b/en/preparing/needed-info.xml
@@ -151,7 +151,7 @@ The manuals that come with each piece of hardware.
 </para></listitem>
 <listitem><para>
 
-The BIOS setup screens of your computer. You can view these screens
+The BIOS/UEFI setup screens of your computer. You can view these screens
 when you start your computer by pressing a combination of keys. Check
 your manual for the combination. Often, it is the <keycap>Delete</keycap> 
 or the <keycap>F2</keycap> key, but some manufacturers use other keys
diff --git a/en/preparing/pre-install-bios-setup.xml b/en/preparing/pre-install-bios-setup.xml
index f6afe3f79..8c0296144 100644
--- a/en/preparing/pre-install-bios-setup.xml
+++ b/en/preparing/pre-install-bios-setup.xml
@@ -7,8 +7,8 @@
 
 This section will walk you through pre-installation hardware setup, if
 any, that you will need to do prior to installing &debian;.  Generally,
-this involves checking and possibly changing BIOS/system firmware settings for
-your system.  The <quote>BIOS</quote> or <quote>system firmware</quote> is the core software used by the
+this involves checking and possibly changing BIOS/UEFI/system firmware settings for
+your system.  The <quote>BIOS/UEFI</quote> or <quote>system firmware</quote> is the core software used by the
 hardware; it is most critically invoked during the bootstrap process
 (after power-up).