I want to create a real-time Linux kernel using Yocto Warrior for the NXP iMX8MM (ARM64). The current kernel version is 4.19.35 with the .37-rt20 patch. I added a .bbappend file