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

Change-Id: I961c41ab51552eb94a04fcf8e528b84124bd2386