Login incorreto do Debian e resolução TTY na tela 4K

Question

Acabei de instalar o Debian MATE Jessie em um laptop que possui uma resolução de tela de 4K, que por padrão define a resolução para 3840x2160. Eu consegui alterar a resolução do GRUB para 1280x1024 usando GRUB_GFXMODE , mas a tela de boas-vindas e os TTYs sempre usarão a resolução padrão. Eu tentei sem sucesso usar GRUB_GFXPAYLOAD_LINUX=keep ou configurá-lo para o mesmo valor que GRUB_GFXMODE .

Estou correndo com uma placa de vídeo Intel, sem Nvidia ou Radeon. Eu também tentei defini-lo usando xrandr , embora eu receba um erro Can't open display .

Como posso definir uma resolução mais razoável (ou seja, 1280x1024 ou similar)?

Resoluções disponíveis:

$ sudo hwinfo --framebuffer

02: None 00.0: 11001 VESA Framebuffer                           
  [Created at bios.459]
  Unique ID: rdCR.QstqgPARaQB
  Hardware Class: framebuffer
  Model: ""
  Vendor: ""
  Device: ""
  SubVendor: "Intel(R) HSW Mobile/Desktop Graphics Chipset Accelerated VGA BIOS"
  SubDevice: 
  Revision: ""
  Memory Size: 31 MB + 960 kB
  Memory Range: 0xd0000000-0xd1feffff (rw)
  Mode 0x033c: 1920x1440 (+1920), 8 bits
  Mode 0x034d: 1920x1440 (+3840), 16 bits
  Mode 0x035c: 1920x1440 (+7680), 24 bits
  Mode 0x033a: 1600x1200 (+1600), 8 bits
  Mode 0x034b: 1600x1200 (+3200), 16 bits
  Mode 0x035a: 1600x1200 (+6400), 24 bits
  Mode 0x0307: 1280x1024 (+1280), 8 bits
  Mode 0x031a: 1280x1024 (+2560), 16 bits
  Mode 0x031b: 1280x1024 (+5120), 24 bits
  Mode 0x0305: 1024x768 (+1024), 8 bits
  Mode 0x0317: 1024x768 (+2048), 16 bits
  Mode 0x0318: 1024x768 (+4096), 24 bits
  Mode 0x0312: 640x480 (+2560), 24 bits
  Mode 0x0314: 800x600 (+1600), 16 bits
  Mode 0x0315: 800x600 (+3200), 24 bits
  Mode 0x0301: 640x480 (+640), 8 bits
  Mode 0x0303: 800x600 (+832), 8 bits
  Mode 0x0311: 640x480 (+1280), 16 bits
  Mode 0x037d: 3840x2160 (+3840), 8 bits
  Mode 0x037e: 3840x2160 (+7680), 16 bits
  Mode 0x037f: 3840x2160 (+15360), 24 bits
  Config Status: cfg=new, avail=yes, need=no, active=unknown