Add some missing devel/seed3 ports