[RFC 0/6] CPU + GPU synchronised priority scheduling