Fix for PR ld/20815 doesn't allow to build a working kernel

[Nick Clifton]

Hi Matthias,

> yes, according to Sven's comment in the bug report, that works.

Great!  I have checked the patch in (both parts).

Cheers
  Nick