hi russell,
die werden mittlerweile 5000 ready ausgeliefert. aber selbst wenn man das bios selbst flashen müsste, wäre das schnell und unkompliziert.