Re: [coreboot] sony vaio pcg sr1k