[U-Boot] [PATCH v4 5/5] kconfig: Add a DISTRO_FREEBSD option