include kxamd64.inc