Re: [coreboot] protected_start and __protected_start!