Ubuntu

Comment 50 for bug 802626

Patch suggested by Wessel in comment #21 completely solved this problem for me (without patch issue was reproducible almost in 100% of system boots).