https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65464 --- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I think this is a bug in the kernel. vdso32 should be building for little-endian PowerPC64 as there is no 32bit support currently.