Only actually execute writes to 0x400000-0x7FFFFF
Don't boot back into menu when host issues hard reset
Add dependency notes to gcc & ddd build scripts