in 32 bit wakeup code now
in 32 bit wakeup code now

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