Adding a tip about loading the vmlinux binary, even though there is no ECOFF loader yet.
Authored by: debug 2018-04-19
Parent: [r5889]
Child: [r5891]
