Sorry, booted into the wrong kernel. So, I cannot confirm that the updated kernel fixes my problem. Before booting in the correct kernel, need to fix keys for booting. I'll try to do tomorrow.