Tuxedo-Rechner werden mit Premium-BIOS ausgeliefert