285c285,286
< } else if (deliveryMode == DeliveryMode::SIPI && !pendingStartup) {
---
> } else if (deliveryMode == DeliveryMode::SIPI &&
> !pendingStartup && !startedUp) {
565c566
< pendingUnmaskableInt(false)
---
> startedUp(false), pendingUnmaskableInt(false)
645a647
> startedUp = false;
648a651
> startedUp = true;