allow hal_bootctl_default devinfo_block_device:blk_file r_file_perms;