Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder ein alternativer Browser verwenden.
Sind denn die Kernelquellen überhaupt installiert? Probier auch mal den Symlink /usr/src/linux, der sollte _eigentlich_ auf vorhandene Kernelquellen weiterleiten.
Wenn es der Stadardkernel der Distri ist, dann suche mal mit dem Paketmanagementtool nach "kernel-source <deine Kernelversion> und installiere das Paket, falls es ein eigener Kernel aus den Vanillasources ist, dann enpacke das Quellpaket nach /usr/src und gib in dem Script den Pfad dahin an.