Thank you Takashi-san. I'm slightly reluctant to try patched kernel as last time I did so, it somehow messed up my computer. (I'm a linux user but not a linux expert.) I'm hoping that Mr. Pinchon can validate the tentative fix. Thanks, Ole (with apologies)