[PATCH 06/12] gma500: Add the glue to the various BIOS and firmware interfaces