Mas pelo que eu vi, utilizam o mesmo BIOS (pode ver no link que é exatamente o mesmo para o três modelos) o que não seria um problema.