[PATCH 3/3] configure: Use -fms-hotpatch when available.