[Bug 9875] Pixel formats with >8 bits per channel not available via OpenGL although apparently supported by hardware