comment about region reserved by tboot because of bug.
comment about region reserved by tboot because of bug.

William-J-Earl/cloudproxy,jethrogb/cloudproxy,William-J-Earl/cloudproxy,jethrogb/cloudproxy,jethrogb/cloudproxy,William-J-Earl/cloudproxy,jlmucb/cloudproxy,tmroeder/cloudproxy,tmroeder/cloudproxy,jlmucb/cloudproxy,kevinawalsh/cloudproxy,William-J-Earl/cloudproxy,cjpatton/cloudproxy,jlmucb/cloudproxy,tmroeder/cloudproxy,William-J-Earl/cloudproxy,cjpatton/cloudproxy,jlmucb/cloudproxy,cjpatton/cloudproxy,kevinawalsh/cloudproxy,tmroeder/cloudproxy,cjpatton/cloudproxy,cjpatton/cloudproxy,jethrogb/cloudproxy,jlmucb/cloudproxy,tmroeder/cloudproxy,jethrogb/cloudproxy