[PATCH 4/4] Convert CONFIG_BOOTP_SERVERIP to Kconfig