[PATCH 09/85] drivers: gpu: Include appropriate header file in mga_ioc32.c