Fix up preprocessor guards in the new board driver files.
Add button support for the BENITO board target.