El Magisk Manager debería de hacerlo por sí solo. En caso de que no funcionara, pues sí tocaría flashearlo el BOOT original mediante fastboot.
Personalmente, no lo he probado "todavía". Pero seguramente que cuando llegue la OTA de Septiembre, tendré que hacer la prueba y en base a esa experiencia, añadiré más detalles testeados al Primer Post.