Is it possible to encrypt the boot partition on Qubes OS and use a detached header for the main disk?