K 10 svn:author V 7 thompsa K 8 svn:date V 27 2008-09-13T17:34:18.464373Z K 7 svn:log V 75 Allow PAGE_SHIFT to already be defined. Submitted by: Hans Petter Selasky END