Remove duplicates of
 - linux/device.h and
 - asm/hardware/gic.h
Signed-off-by: NThomas Weber <thomas@tomweber.eu>
Signed-off-by: NPawel Moll <pawel.moll@arm.com>