They don’t play well with Linux. Occasionally my HP laptop will turn back on SecureBoot with no warning. There’s also like a full minute of delay between opening the thing and keyboard strokes registering. (Iirc, HP is so Linux hostile it’s not really supported by Arch)
I read this as talking about BadBIOS at first - did that ever turn out to be real, or was it just paranoia?