[How to] Debian Stretch + Linux 4.9 from scratch (w/download, EMMC only)

Agree on this:

  • the default hdmi output resolution should be settled by reading EDID information automatically
  • Users can change the resolution through a graphic menu when boot into system.