"drivers/arm/gic/v3/gicv3_helpers.c" did not exist on "5b33041c89c89c39e854a3c4dd4ee015992f8c26"