SpecJVM Performance of KaffeOS