The x86_64 kernel headers are the x86 kernel headers.

Change-Id: I8763aee7043800eb23a720914b57396e79fa812e
1 file changed