Unless he is on x64 OS, no driver can allocate that much RAM - paged or nonpaged. It must use physical memory allocations instead.

I believe it is not used as cache, but rather as a bitmap holder. It reminds me EasyCo's MFT, which does a similar thing. Cache, that small, would not be able to provide sustained 4K speeds, and this thing has 'em.