[Bug 1138496] New: Consider compiling kernel with FONT_TER16x32 for HiDpi font support