Linux kernel implementation of Segment Routing with IPv6