Nope, > cat /proc/cmdline BOOT_IMAGE=/boot/vmlinuz-4.1.6-3-desktop root=UUID=196cfdfc-b265-48bb-89f4-69ac7af42dd2 resume=/dev/sda1 splash=silent quiet showopts > zcat /proc/config.gz | grep -i fips (nothing)