K 10 svn:author V 3 ian K 8 svn:date V 27 2013-02-26T03:24:45.416559Z K 7 svn:log V 216 Adjust the arm kernel entry point address properly regardless of whether the e_entry field holds a physical or a virtual address. Add a comment block that explains the assumptions being made by the adjustment code. END