Symbol: enable_drhd_fault_handling