kernel: Add handling for R_X86_64_PLT32 (type 4) in kernel linker.