[GIT PULL] perf/core improvements and fixes

From: Arnaldo Carvalho de Melo
Date: Mon Jul 22 2019 - 13:38:59 EST


Hi Ingo,

Please consider pulling,

Best regards,

- Arnaldo