export the HDMI pins in hdmidisplay

Change-Id: I75cf6e48a1dcf4ef1aa7f2a66abeb6ce7e9be0a1
use [get_boards] to find a supported vc707 version

Change-Id: Ia756fcde71a8adbf7166a22c56c3af0706d108ca
unpack the tlp as TLPCompletionHeader to read the tag if it is a completion packet

Change-Id: I5de74236c64e4cc56f792638a5789405b98cac61