ODROID-C5: arm/gpu: fix to build ARM Mali GPU driver

Change-Id: Ia3c894e9b4ee32018082e90ca5fbe95c4ee73c87
Signed-off-by: Dongjin Kim <tobetter@gmail.com>
6 files changed