store the default kernel version for our ports in a single place (target makefiles...