SDL: use 32-bit RGB for SDL's framebuffer; SDL does the conversions for 8, 16, and 24 bit formats automatically.

This is groundwork for SDL's imminent integration with the window manager.
x86: disable the IRQ mitigation stuff; this is pretty much not how to do it.