While I guess the user-space OpenGL binaries would work (as the PowerVR chipset is the same) assuming the kernel module presents the same interface and api to these libraries, there is the problem that I can't seem to find a kernel module for the PowerVR hardware in the Samsung Hummingbird chip in the Tab. This might not be the end of the world as we have an existing implementation for the SGX 540 in the OMAP 4 in the Pandaboard, it will require work to be done to implement such a driver (and I don't know quite how much.)