sim: dv-cfi: check for log2 support in libm when enabled