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

2 files changed, 3 insertions, 3 deletions

diff --git a/pt_BR/using-d-i/modules/base-installer.xml b/pt_BR/using-d-i/modules/base-installer.xml
index 39ae9ac77..69a1bbe7f 100644
--- a/pt_BR/using-d-i/modules/base-installer.xml
+++ b/pt_BR/using-d-i/modules/base-installer.xml
@@ -23,7 +23,7 @@ instalação estiver sendo realizada através de um console serial.
 
 </para><para>
 
-Como parte da instalação, o kernel do Linux será instalado. Na prioridade
+Como parte da instalação, o kernel do &arch-kernel; será instalado. Na prioridade
 padrão, o programa de instalação escolherá um que melhor se encaixa com seu
 hardware. Em modos de baixa prioridade, você será capaz de selecionar um
 kernel da lista de kernels disponíveis.
diff --git a/pt_BR/using-d-i/using-d-i.xml b/pt_BR/using-d-i/using-d-i.xml
index 50f2bec6a..7438c261e 100644
--- a/pt_BR/using-d-i/using-d-i.xml
+++ b/pt_BR/using-d-i/using-d-i.xml
@@ -326,7 +326,7 @@ encontradas em placas mãe mais novas.
 <term>base-installer</term><listitem><para>
 
 Instala o conjunto mais básico de pacotes que permitirá que
-o computador funcione sob o Linux quando reinicializado.
+o computador funcione sob o &debian; quando reinicializado.
 
 </para></listitem>
 </varlistentry>
@@ -374,7 +374,7 @@ de selecionar que sistema operacional deverá ser usado na partida do sistema.
 
 Os vários instaladores de gerenciadores de inicialização instalam
 cada qual um programa gerenciador de inicialização no disco rígido, o qual
-é necessário para que o computador inicie usando Linux sem utilizar um
+é necessário para que o computador inicie usando &arch-kernel; sem utilizar um
 disquete ou um CD-ROM. Muitos gerenciadores de inicialização permitem que
 o usuário escolha um sistema operacional alternativo a cada vez que o
 computador inicia.