disklabeler binary for kernel syms