Re: [U-Boot] coreboot and u-boot integration x86: "No tick base available"