[klibc] ipconfig: Ignore configured devices in process_recieve_event.

It may happen that process_receive_event is called with already configured
devices resulting in multiple prints of the device configuration.

This patch changes the behaviour of process_receive_event and ignores
already configured devices.

Signed-off-by: Ulrich Dangel <uli@spamt.net>
Signed-off-by: maximilian attems <max@stro.at>
1 file changed