qemu -> pcf for kernel config
* kernel/network/ip/il.c: now compiles