Is there a tool to enter the serial number etc. Alternatively, can someone help me prepare a bios with the correct serial number?