Lenovo file for a Foxconn-made board coded TPC01, stored as a 1.19 MB RAR archive. The name names no model or revision, so the code on the motherboard is the only way to…