discover/user-event: Use bootfile_url if available
[petitboot] / INSTALL
2012-02-12 Geoff LevandConvert build to use automake