[PATCH 09/10] drm/gma500: Inline psb_gtt_restore()