Re: [coreboot] [PATCH] move i386 specific sleep code out of hardwaremain.c