TC patches are cosmetic/size/bootspeed only, they are not required. So just a RT kernel with a suitable config.
dCore is not special, it uses the same kernel.
dCore is not special, it uses the same kernel.