Re: [U-Boot] p4080ds starts OS with MSR[EE]=1 and DEC armed?