/*
* The following interrupts are for board specific purposes. Since
* the kernel can only run on one machine at a time, we can re-use
/*
* The following interrupts are for board specific purposes. Since
* the kernel can only run on one machine at a time, we can re-use