Re: Stack register value in the kernel setup code