Raspberry Pi OS (≒Debian)の11(bullseye)から12(bookworm)へアップグレードしてしばらく使っていたんだけど、カーネルが微妙に古かったり、所々純粋なbookwormとは違う状態になっていた。 よくよく調べてみると、RPI OSはアップグレードは非推奨で、今ま…