K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2014-02-23T18:44:10.125922Z
K 7
svn:log
V 44
Use the stack provided by the UEFI firmware

END