JH7100: Make use of E24?

JH7100 has a E24 monitor core. Per the Boot User Guide: JH7100_Docs/JH7100 SoC Boot User Guide-V01(2021-6-7).pdf at main · starfive-tech/JH7100_Docs · GitHub there is a way to properly reset and initialize it to run rv32 code. However discussion here: Re: [PATCH v1 2/2] riscv: dts: starfive: add the missing monitor core - Icenowy Zheng seems to suggest we never used it and just let it sit there doing nothing after Linux boots up. Does starfive provide any guide on how to make proper use of it?