userland/kernel header). No PORTREVISION bump since this is a fix for compilation. PR: ports/88319 Submitted by: marck