pronto: switch to stock configs (while cherry-picking kk_3.5 ini changes on top)

Change-Id: Ied509b9e14938f4caba3ead45506e1bee9752641