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