To be really sure those are set correctly, you'll have to assert them. Otherwise you might get into problems when someone sets `useHDCP = true` in their `configuration.nix`