discover/user-event: Use bootfile_url if available
[petitboot] / COPYING
2007-04-05 Jeremy KerrAdd GPL