Fix 8051 port builds to play nicely with #173
Merge pull request #228 from g-oikonomou/bug-fixes/uip-conf-ipv6

Fix 8051 port builds to play nicely with #173