Does this mean I should roll back the kernel then? I've done it once or twice on an x86 linux PC but how is that done on a pi? Thanks
P.S. just checked and on the good Sd card I'm running "Linux raspberrypi 4.14.70-v7+ #1144 SMP Tue Sep 18 17:34:46 BST 2018 armv7l GNU/Linux" according to uname -a .