Add patch about idf export (from cirilo_bernardo)
Add patch about idf export (from cirilo_bernardo), with a fix for Windows.