edit:
I don’t think the boot problem is related though.
On a side note, since a while I’m occasionally experiencing random boot failure.
I used to think my laptop was about to die, now I suspect something with the graphics card driver.
You may want to open another thread for that issue.