upgrade to 25.7 -> bootloader too old

[Patrick M. Hausen]

Yes it's a mirror, but this command with the -l doesn't change the output

But of course it does. In your first `gpart show` output the fourth column showed the partition type. In the second one with `-l` added to the command it showed the partition label.

So that confirmed that /dev/gpt/efiboot0 is indeed partition #1 on drive ada0. So you might continue with the steps I outlined above to update your boot loader.

HTH, Patrick