Los PS/2 tienen dos BIOS.