dm: Move Raspberry Pi driver model CONFIGs to Kconfig

Remove driver model CONFIGs from the board config header and use Kconfig
instead.

Signed-off-by: Simon Glass <sjg@chromium.org>