https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63304
--- Comment #43 from Christophe Lyon <clyon at gcc dot gnu.org> --- Indeed, that seems safer. However, reading http://www.spinics.net/lists/arm-kernel/msg445346.html there is a comment saying: ---------------------- Note that the kernel itself must be linked with a version of ld which fixes potentially affected ADRP instructions through the use of veneers ----------------------- But I don't know how this is enforced.