The workaround is a BIOS password. And this is a frequestly asked question.

You may find other software to offer such an addon, but most are bypassable with simple methods. Be sure to get a money back guarantee if you pay for it.

Bob