[sanitizer] Fix kernel headers compatibility on powerpc64.