xilkernel configured for lwip. still works