Re: [coreboot] [RFC] v2: register reductions in i440bx/debug.c