Beginners • Where is BootLoader options (Pi 5)?

I have a Raspberry Pi 5 Model B Rev 1.0 and according to several places and the official documentation there should be an option to change the bootloader in rasp-config in the Advanced options menu. Checking currently with version 20250605 of rasp-config, there is no bootloader option in that menu.
Where is that menu? Is there a "Bootloader version" menu item anymore?

I'm trying to make sure I have the latest firmware.

BOOTLOADER: up to date
CURRENT: Thu May 8 02:13:17 PM UTC 2025 (1746713597)
LATEST: Thu May 8 02:13:17 PM UTC 2025 (1746713597)
RELEASE: latest (/usr/lib/firmware/raspberrypi/bootloader-2712/latest)
Use raspi-config to change the release.

Statistics: Posted by Morac — Sun Jun 08, 2025 1:26 am

---