The previous tutorial is built based on using the A53 core. To migrate it to use the R5 core, follow the instructions on this page. The flow is the same but you need to make a few modifications.