The Raspberry is a bit weird anyway with its proprietary GPU and bootcode on that proprietary GPU.Android for All: Broadcom Gives Developers Keys to the VideoCore® Kingdom
Posted: Feb. 28, 2014
http://blog.broadcom.com/chip-design/android-for-all-broadcom-gives-developers-keys-to-the-videocore-kingdom/
Today, Broadcom is releasing the full source of the OpenGL ES 1.1 and 2.0 driver stack for the Broadcom VideoCore® IV 3D graphics subsystem used in the BCM21553 3G integrated baseband SoC. VideoCore IV is used in many Broadcom products, including the BCM2835 application processor, which runs the popular Raspberry Pi microcomputer.Download BCM21553 GPU Documentation
http://www.broadcom.com/docs/support/videocore/VideoCoreIV-AG100-R.pdf
Download BCM21553 Graphics Driver
http://www.broadcom.com/docs/support/videocore/Brcm_Android_ICS_Graphics_Stack.tar.gz
Related Story
Happy Birthday, Raspberry Pi! More Than 2.5M and Counting
http://blog.broadcom.com/raspberry-pi/happy-birthday-raspberry-pi-more-than-2-5m-and-counting/
A birthday present from Broadcom
http://www.raspberrypi.org/archives/6299