Raspberry Pi 4 boot of current Leap/KDE