[PATCH] i386: make x86_64 tsc header require i386 rather than vice-versa