Be more friendly if VBE is not available.

That is, if VBE initialization fails we can still use VGA.
Added an env-var to pass the debugging-symbols of NOVA to gdb.
Renamed VERBOSE to NRE_VERBOSE.
Removed outdated comments from bochs.cfg.