discover/user-event: Use bootfile_url if available
[petitboot] / .gitignore
2017-11-03 Cyril BurAdd root .gitignore