[Dev] [PATCH] drivers/gpu: arm/utgard: Fix build issue.