Fix kernel header scrubbing for LP64.

Change-Id: I4caf44d41edd1b03a20d4c565e169c2b7a2f3686
3 files changed