loader.efi.8/efibootmgr.8: Don't use contradicting term 'EFI BIOS'

Both (U)EFI and BIOS are completely different things, be precise and don't use
them together.

Reviewed by:	imp
MFC after:	3 days
Differential Revision:	https://reviews.freebsd.org/D56329

stand/efi/loader/main.c

@@ -1007,10 +1007,10 @@ parse_uefi_con_out(void)
 		 * If we don't have any Con* variable use both. If we have GOP
 		 * make video primary, otherwise set serial primary. In either
 		 * case, try to use both the 'efi' console which will use the
-		 * GOP, if present and serial. If there's an EFI BIOS that omits
-		 * this, but has a serial port redirect, we'll unavioidably get
-		 * doubled characters, but we'll be right in all the other more
-		 * common cases.
+		 * GOP, if present and serial. If there's a UEFI firmware that
+		 * omit this, but has a serial port redirect, we'll unavoidably
+		 * get doubled characters, but we'll be right in all the other
+		 * more common cases.
 		 */
 		if (efi_has_gop())
 			how |= RB_MULTIPLE;

stand/man/loader.efi.8

@@ -30,7 +30,7 @@
 .\" OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 .\" SUCH DAMAGE.
 .\"
-.Dd September 3, 2024
+.Dd April 11, 2026
 .Dt LOADER.EFI 8
 .Os
 .Sh NAME
@@ -64,7 +64,7 @@ process.
 .Xr boot1.efi 8
 is deprecated for new installations.
 .Ss Console Considerations
-The EFI BIOS provides a generic console.
+The UEFI firmware provides a generic console.
 In
 .Nm
 this is selected by specifying
@@ -114,8 +114,8 @@ primary if a UEFI graphics device is detected, or the serial console
 as primary if not.
 .Pp
 On x86 platforms, if you wish to redirect the loader's output to a serial port
-when the EFI BIOS doesn't support it, or to a serial port that isn't the one the
-EFI BIOS redirects its output to, set
+when the UEFI firmware doesn't support it, or to a serial port that isn't the
+one the UEFI firmware redirects its output to, set
 .Dv console
 to
 .Dq comconsole .
@@ -135,9 +135,9 @@ If this causes a doubling of characters, set
 .Dv console
 to
 .Dq efi ,
-since your EFI BIOS is redirecting to the serial port already.
+since your UEFI firmware is redirecting to the serial port already.
 .Pp
-If your EFI BIOS redirects the serial port, you may need to tell the kernel
+If your UEFI firmware redirects the serial port, you may need to tell the kernel
 which address to use.
 EFI uses ACPI's UID to identify the serial port, but
 .Nm

usr.sbin/efibootmgr/efibootmgr.8

@@ -24,7 +24,7 @@
 .\" OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 .\" SUCH DAMAGE.
 .\"
-.Dd September 22, 2024
+.Dd April 11, 2026
 .Dt EFIBOOTMGR 8
 .Os
 .Sh NAME
@@ -84,7 +84,7 @@ boot method to be tried once upon the next boot.
 The UEFI standard defines how hosts may control what is used to
 bootstrap the system.
 Each method is encapsulated within a persistent UEFI variable,
-stored by the UEFI BIOS of the form
+stored by the UEFI firmware of the form
 .Cm Boot Ns Em XXXX
 (where XXXX are uppercase hexadecimal digits).
 These variables are numbered, each describing where to load the bootstrap