[Bug 848570] New: after update from OS 13.1 RC1 to OS 13.1 RC2 system doesn't boot the selected Kernel