Hi Fred,
Add password protection so you need password for boot the system.
Add it to SeaBIOS too.
I don't know if it is already implemented. Will you help us implement it?
--
Niklas Cholmkvist
Public GPG/PGP key block
ID: 1024D/C09E670B
Fingerprint: 8487 ECE3 8ED9 870B BB56 95E7 9AD2 946A C09E 670B
Key download:
https://sites.google.com/site/towardsfloss/main-page/NiklasCholmkvist.asc
[For authenticity and privacy on the internet with prime number based
mathematics]