>>839
4Coreパッチってカーネルの入れ替えだったと思うのでOTAで
アップデートするとブート領域が書き換えられてカーネルも
標準のものになるのでもう一度パッチをあてる必要があるはず