"drivers/arm/gic/v3/gicdv3_helpers.c" did not exist on "65012c08922fa5646ca7ca485036dfd901cae360"