@cryptax It would be great to have some quick notes on all the BIOS settings you changed. The BIOS options are expanding so fast in recent years, and there are many unhappy surprises in them, like all the crazy networked things they do with shoddy TLS implementations and buggy daemons.
@eighthave I had to disable it to be able to boot on a USB disk. I suppose I could put it back now that Debian is installed.