Genode's Framebuffer session interface seems to only support 16-bit color. Why don't we have support for 24-bit or 32-bit color? Even VESA supports 24-bit color, so it seems like adding driver support is likely trivial.