Фреймбуфер загружается под Linux, но не Xen

Недавно я создал систему Debian "Wheezy", которая загружалась через GRUB на консоль без фреймбуфера, печатая

Console: colour VGA+ 80x25

во время загрузки. к /etc/default/grub я добавил

GRUB_GFXMODE=1920x1200
GRUB_GFXPAYLOAD_LINUX=keep

давая мне загрузочные сообщения:

vesafb: mode is 1920x1200x16, ...
fbcon: VESA VGA (fb0) is primary device
Console: switching to colour frame buffer device 240x75
fb0: VESA VGA frame buffer device

Но когда я установил и загрузил Xen, он вернулся к консоли не-fb./dev/fb0 нет под dom0.

Как мне включить консоль framebuffer под dom0?

(Обратите внимание, что этот вопрос не касается виртуальных кадровых буферов для domU. DomU пока нет.)

Это для grub-common 1.99-27 + deb7u2, xen-system-amd64 4.1.4-3 + deb7u3. Материнская плата - SuperMicro A1SRi-2558F с Aspeed AST2400.