Практичнее ориентироваться на «Отчет о системе…», но нужно помнить, что серийный номер можно поменять не только на крышке, но и на материнской плате, поэтому если есть сомнения, то лучше доверить идентификацию специалистам.