ARM64: Don't include kernel headers when building for an arm64 device

Change-Id: I97a632cf6db7021d037d4057562ba904289b0bf7