u-boot-update: use PRETTY_NAME from os-release as menu label.

this should make the u-boot-menu on Ubuntu say, "Ubuntu 20.10" and update as one dist-upgrades to next release.

Just wrote this, need to test it.

Merge request reports

Loading