Re: Setting up boot chain ACPI on ARM with STM32MPU