This adds the Cortex-A55 scheduler model.
The optimisation guide describing Cortex-A55 micro-architecture in more detail
can be downloaded here:
This model showed decent performance uplifts for a number of benchmarks on our
models, but we are interested in feedback if the same trend is observed on hardware;
Samsung was interested in providing feedback on this.