GitLab

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