x86: merge hardirq_{32,64}.h into hardirq.h