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: NOtavio Salvador <otavio@ossystems.com.br>