Don't include kernel headers on arm64 builds

Change-Id: I70b08fff1f89e02ab7a6d3441ef057f61d71e2c4