Trusted Computing Group (TCG) DICE Architecture Working Group