added the linux kernel list header needed by the bits of etherlab master we use