x86: rename */config-3.10 to */config-default