x86-64: make BUILD_IRQ() also reset section back