Tails\, the security-focused OS\, adds support for Secure Boot