discover/user-event: Use bootfile_url if available
[petitboot] / lib / system /
drwxr-xr-x   ..
-rw-r--r-- 2106 system.c
-rw-r--r-- 815 system.h