Fix minor issues with the configuration of the hardware interrupts for
Linux when booting the eNET board