The Makefile rules will not work for "4.19-rt" and the string
processing needed to handle that is quite complex.  Simplify things by
changing the top-level directory names to match the kernel branch
names, without the redundant "linux-" prefix.