How to use Nvidia PRIME offload to run the X server on the integrated board

Actually, I fubar’d that calculation by using 24-bits instead of 3-bytes. 3 * 1920 * 1080 / 1024 / 1024 = 6MiB. So still twice as much as reported, but not as drastic a difference.