asm-amd64.h: forgotten include