I've just put up a review that fixes mlx4_en to no longer use clusters larger than PAGE_SIZE in its receive path. The patch is based off of the older version of the driver which did the same, but keeps all of the changes to the driver since then (including support for bus_dma). The review can be found here: https://reviews.freebsd.org/D11560