bios boot

(Rocky Linux 9/10, RHEL-family, and most systemd-based distros — vendor neutral guide) If you’ve ever rebooted a…