You can use SPI pins 11..13 for more than 1 device, but you just have to use a
different chip-select pin for each different device, pin 10 for one and some other
pin for the others. So you have to make sure the nrf2401 shield uses a something
different from the ethernet board for chip-select.