This add the boot menu option for the NYMPH baseboard as well as a specific config file for users which wish to use it as a pre-defined board. Signed-off-by: Otavio Salvador <otavio@ossystems.com.br>
