RDMA/efa: Properly document the interrupt mask register