headers_check fix: ia64, kvm.h