Merge remote branch 'tip/perf/core'

Signed-off-by: Avi Kivity <avi@redhat.com>