take FREEBSD_VERSION in consideration to set DEFAULT_KERNEL for build_iso.sh as it's one on build_updates.sh