Update broken web addresses in the kernel.