I added this patch to linux-rpi-4.19.y-rt. After fixing some simple compilation errors, the system became unable to boot. What could be the problem?