Disable HLPC reporting at runtime if S2E support not available.
Small documentation fix.