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