Bug#1114695: System not booting with Debian 13 Live ISO (GNOME) and after upgrading from Debian 12

[remasch]

Confirming that ibt=off makes the Live ISO of Debian 13 GNOME (debian-
live-13.0.0-amd64-gnome.iso) boot.