tree ad61d801ffc7b0e6673d331d804b830c1fd3fffd
parent 3275f26bb6cda9e24966423460e74281e1a71888
author Adam Ford <aford173@gmail.com> 1593785196 -0500
committer Tom Rini <trini@konsulko.com> 1595967490 -0400

configs: Remove dead CONFIG options

BOOTP_DEFAULT is defined in several boards, but this config
option is never checked or used.

This patch removes this config option from config files and
the whitelist.txt

Signed-off-by: Adam Ford <aford173@gmail.com>