discover/user-event: Use bootfile_url if available
[petitboot] / lib / types /
drwxr-xr-x   ..
-rw-r--r-- 1919 types.c
-rw-r--r-- 3598 types.h