A Linux Kernel Implementation of Segment Routing with IPv6