[PATCH v2 4/5] Convert CONFIG_BOOTP_SERVERIP to Kconfig