bump(sys-kernel/coreos-kernel): add infiniband support

This resolves issue #235 where IB support was requested for the kernel.