Re: [coreboot] Build fails on Thinkpad W520