Code scheduling for Cortex-A53 isn't as good as it could be. It turns out