Bump OpenBSD/sgi for IP22 to 5.5