On Sat, Nov 07, 2015 at 06:54:19PM +0000, Christos Zoulas wrote: > Yes, I guess the best thing is to strip it with a linker script. It > seems to be done on purpose: How about deleting it with objcopy from the kernels? Martin