Reset for the core was not properly synchronized into core clock domain.
This may explain some of the intermittent failures on boot.