Virtualizing high-end GPGPUs on ARM clusters for the next generation of high performance cloud computing