Allocate network read buffers with system malloc() rather than with GHC pinned pointers.