It seems I could successfully compile and install the kernel by performing the following procedure
git clone --depth=1 https://github.com/raspberrypi/linux
cd linux
KERNEL=kernel7
make bcm2709_defconfig
wget https://mirrors.edge.kernel.org/pub/linux/kernel/projects/rt/4.14/patch-4.14.93-rt53.patch.gz
gunzip patch-4.14.93-rt53.patch.gz
cat patch-4.14.93-rt53.patch | patch -p1
make menuconfig
make zImage
make modules
make dtbs
sudo make modules_install
sudo cp arch/arm/boot/dts/*.dtb /boot/
sudo cp arch/arm/boot/dts/overlays/*.dtb* /boot/overlays/
sudo cp arch/arm/boot/dts/overlays/README /boot/overlays/
sudo cp arch/arm/boot/zImage /boot/$KERNEL.img
A reboot resulted in a non-bootable system. The following options added to cmdline.txt
dwc_otg.fiq_enable=0
dwc_otg.fiq_fsm_enable=0
sdhci_bcm2708.enable_llm=0
made the system bootable again. I ran
sudo ./cyclictest -m -t1 -p 80 -n -i 500 -l 100000
from rt-tests and I get 15/20 ms latency.
The aim of this was to enhance the performance of sunvox, however I still have a very slow response from the program. But, the kernel-related issue is solved.