Bugfix in x80 driver