This is in favor of bootloader-assisted mode switching. Grub has a
wonderful option we will exploit to set the video mode.
My laptop supports a couple of 32-bit video modes, which is nice,
because I'm not support 24-bit modes.
I'm not sure whether the super-sketchy video memory locator will work
in the real world, but we'll find out sometime soon.