With the update of the Xen headers, the number of event channel are now based
on sizeof and other types which can't be used in assembly.
Simply drop the inclusion as nothing defined in intr_machinedep.h is used
within support.S
#include "opt_ddb.h"
#include <machine/asmacros.h>
-#include <machine/intr_machdep.h>
#include <machine/pmap.h>
#include "assym.s"
#include <machine/asmacros.h>
#include <machine/cputypes.h>
-#include <machine/intr_machdep.h>
#include <machine/pmap.h>
#include <machine/specialreg.h>