PPC: add debug sections to the linked kernel

Seems to be needed for gdb.