Efectivamente ese SDK no es el que se utiliza para desarrollar la BIOS, ese es para programar aplicaciones utilizando la aceleración de las tarjetas. El de la BIOS de seguro lo tienen bien guardadito en ATI y dudo mucho que lo den salvo como mucho desembolsando una buena cantidad de $.