Don't compile webserver-ipv6 for the sky platform, as it is a little too small. Use the larger exp5438 instead