Una vez instalados ya los tienes instalados para siempre independientemente de que actualices el terminal, siempre y cuando no restauren, el tema es que creo que el mate 40 pro no se pueden instalar en ninguna versión porque venia ya con EMUI 11, tendrás que recurrir en cualquier caso a Dual Space o Google Space