We're still using the old genksyms binary, that's why we have to 
postprocess the output to convert it into a linker script - that
postprocessing got confused by "__verify_write".

Kick out the grep, do it all and correctly within sed.

Bug reported by Thomas Molina.