add patch that adds Krait cpu type, enable cpu_krait in std