tree ad61d801ffc7b0e6673d331d804b830c1fd3fffd
parent 499c9f7884784245822ac92af60107e0807c5e5f
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>