Symbol: hfi1_dbg_should_fault_rx