If i have a encrypted Debian os do i still need a bios password to prevent cold boot attacks?