Backing out attempt to identify kernel binary format