[coreboot-gerrit] Change in libgfxinit[master]: gma: Map dummy PTEs for buggy VT-d