Adds initial gic_dev file for getting initial tickets delegated to device