kernel: Disable support for 6RD