I recently found a stored Supermicro x10srh cln4f with a Xeon that I wanted to sell, I tested it and got no video output but the BMC heartbeat was flashing, I just sold it and the buyer wants a return because apparently some pins are bent in the socket. Do BMC heartbeats flash with a broken CPU/bent pins?