Reword a few "Linux" occurrences in "Using the Debian Installer"

2 files changed, 3 insertions, 3 deletions

diff --git a/en/using-d-i/modules/base-installer.xml b/en/using-d-i/modules/base-installer.xml
index 483064ff1..f04f36d2f 100644
--- a/en/using-d-i/modules/base-installer.xml
+++ b/en/using-d-i/modules/base-installer.xml
@@ -18,7 +18,7 @@ installation is performed over a serial console.
 
 </para><para>
 
-As part of the installation, a Linux kernel will be installed. At the default
+As part of the installation, a &arch-kernel; kernel will be installed. At the default
 priority, the installer will choose one for you that best matches your
 hardware. In lower priority modes, you will be able to choose from a list
 of available kernels.
diff --git a/en/using-d-i/using-d-i.xml b/en/using-d-i/using-d-i.xml
index b14f50a95..eb4ed7a0a 100644
--- a/en/using-d-i/using-d-i.xml
+++ b/en/using-d-i/using-d-i.xml
@@ -315,7 +315,7 @@ newer motherboards.
 <term>base-installer</term><listitem><para>
 
 Installs the most basic set of packages which would allow
-the computer to operate under Linux when rebooted.
+the computer to operate under &debian; when rebooted.
 
 </para></listitem>
 </varlistentry>
@@ -361,7 +361,7 @@ which operating system to start.
 <term>bootloader-installer</term><listitem><para>
 
 The various bootloader installers each install a boot loader program on the
-hard disk, which is necessary for the computer to start up using Linux
+hard disk, which is necessary for the computer to start up using &arch-kernel;
 without using a floppy or CD-ROM.  Many boot loaders allow the user to
 choose an alternate operating system each time the computer boots.