Hey HansW, did you ever fix the problem? Having a very similar problem where my computer will lockup and can only do a hard reset to solve it.