> ERROR: ".ipv6_chk_addr" [drivers/infiniband/core/ib_addr.ko] undefined! > ERROR: ".ip6_route_output" [drivers/infiniband/core/ib_addr.ko] undefined! OK, I pushed out a change that should fix this, so you can drop the revert. Let me know if you see further issues. - R.