Re: [coreboot] [PATCH] e7501 register pressure