[PATCH 02/16] drm/gma500: Add support for SGX interrupts