@98a5ecd5 good point; I've not seen anything in BIOS related to that, and indeed after pulling plug it stays off.