If I have a encrypted Debian OS install do I need a BIOS password to prevent cold boot attacks?