Added Debian 10 support

- Ability to use base install, and also include nonfree firmware
- Documentation updates
- Fewer separators in menu to keep it all on one page

Change-Id: I460dc346d9585237d2d549c62d2b76ecfc757105
5 files changed