Benoit Rat authored 11 years ago and Alessandro Rubini committed 11 years ago

When the user passes "gateware=", the code uses a wrong SDB entry
point: "Can't find SDB at address 0x630000" (with one too many zeroes.

Replace typoed constant values with WRN_SDB_ADDR.