[mehrdadn]

I guess figuring out whether it's only "presumably" or actually "actually" was why I asked the question in the first place.

[notaplumber]

Hmm. This thread on the OpenBSD lists suggests it may be adequate, of course disabling in the BIOS is certainly a better option, if you can.

https://marc.info/?t=152938773300027&r=1&w=2