[coreboot] [PATCH] Register address for i440bx/raminit.c