The kernel upgrade seems to have worked, so if the system does not boot anymore, then this is clearly a kernel bug too.
The kernel upgrade seems to have worked, so if the system does not boot anymore, then this is clearly a kernel bug too.