two minor fixes in preparation for AI patch generation#6514

dvyukov merged 2 commits intogoogle:mastergoogle/syzkaller:masterfrom

dvyukov:dvyukov-config-default-valuesdvyukov/syzkaller:dvyukov-config-default-valuesCopy head branch name to clipboard