Как получить пакет debuginfo для ядра -rt

У меня Ubuntu 14.04 с ядром 3.14.3-rt4. Я должен использовать инструмент SystemTap, и у меня должны быть символы отладки, чтобы использовать его. Я следую инструкциям здесь, но нет никаких символов отладки для моего ядра, и когда я пытаюсь создать ядро ​​с отладочной информацией (в соответствии с этим), я вижу это:

Unable to find a source package for linux-source-3.14.3-rt4

Что мне делать? Пожалуйста, помогите мне.

uname -r

Linux Gerdu 3.14.3-rt4 #2 SMP PREEMPT RT Mon Sep 7 00:21:53 IRDT 2015 i686 i686 i686 GNU/Linux

awk '/Package: linux-/' /var/lib/dpkg/status

не дает выхода