And, while I was at it, I found some instructions on how to
remove a new kernel if you got it installed. It needs a little bit of tweaking for our specific kernel versions, but I did get the new 5.4 kernel installed when I updated, and I did also use this to get it off. So now I not longer need to boot with the "old" command at boot: line.
Annoyingly, it means that "apt-mark hold linux-image-4.15.0-2-powerpc64" didn't work for me, as it said I had already done it once I tried it again, but it looks like I have a stable working Debian 10 ppc system running quite nicely.