check FIPS mode in GNU/Linux