[coreboot] protected_start and __protected_start!