09-22-2012, 02:15 AM
I replaced the hdd and the problems are gone. Indeed it looks as if the startup calibration of my previous hdd (Samsung F2 HD154UI) simply took slightly too long, so it failed to get properly mounted before OE was up and running.