Pinned Device Memory Patches for Intel's Multi-GPU Battlematrix Linux Efforts