Add benchmark: coremark
New stable kernel, no feature changes