[OpenBIOS] Secure BIOS for voting?