* 0xe000_0000 0xe000_ffff     CCSR                    1M
  * 0xe200_0000 0xe27f_ffff     PCI1 IO                 8M
  * 0xe280_0000 0xe2ff_ffff     PCIe IO                 8M
+ * 0xec00_0000 0xefff_ffff     FLASH (2nd bank)        64M
  * 0xf000_0000 0xf7ff_ffff     SDRAM                   128M
  * 0xf8b0_0000 0xf80f_ffff     EEPROM                  1M
- * 0xfb80_0000 0xff7f_ffff     FLASH (2nd bank)        64M
  * 0xff80_0000 0xffff_ffff     FLASH (boot bank)       8M
  *
  * Notes:
  */
 
 struct law_entry law_table[] = {
+       SET_LAW(CONFIG_SYS_ALT_FLASH, LAW_SIZE_64M, LAW_TRGT_IF_LBC),
 #ifndef CONFIG_SPD_EEPROM
        SET_LAW(CONFIG_SYS_DDR_SDRAM_BASE, LAW_SIZE_256M, LAW_TRGT_IF_DDR),
 #endif
 
 
        /*
         * TLB 0:       64M     Non-cacheable, guarded
-        * 0xfc000000   56M     8MB -> 64MB of user flash
+        * 0xfc000000   56M     unused
         * 0xff800000   8M      boot FLASH
+        *      .... or ....
+        * 0xfc000000   64M     user flash
+        *
         * Out of reset this entry is only 4K.
         */
-       SET_TLB_ENTRY(1, CONFIG_SYS_ALT_FLASH + 0x800000,
-                     CONFIG_SYS_ALT_FLASH + 0x800000,
+       SET_TLB_ENTRY(1, 0xfc000000, 0xfc000000,
                      MAS3_SX|MAS3_SW|MAS3_SR, MAS2_I|MAS2_G,
                      0, 0, BOOKE_PAGESZ_64M, 1),
 
                      0, 5, BOOKE_PAGESZ_16M, 1),
 
        /*
-        * TLB 6:       4M      Non-cacheable, guarded
-        * 0xfb800000   4M      1st 4MB block of 64MB user FLASH
+        * TLB 6:       64M     Non-cacheable, guarded
+        * 0xec000000   64M     64MB user FLASH
         */
        SET_TLB_ENTRY(1, CONFIG_SYS_ALT_FLASH, CONFIG_SYS_ALT_FLASH,
                      MAS3_SX|MAS3_SW|MAS3_SR, MAS2_I|MAS2_G,
-                     0, 6, BOOKE_PAGESZ_4M, 1),
-
-       /*
-        * TLB 7:       4M      Non-cacheable, guarded
-        * 0xfbc00000   4M      2nd 4MB block of 64MB user FLASH
-        */
-       SET_TLB_ENTRY(1, CONFIG_SYS_ALT_FLASH + 0x400000,
-                     CONFIG_SYS_ALT_FLASH + 0x400000,
-                     MAS3_SX|MAS3_SW|MAS3_SR, MAS2_I|MAS2_G,
-                     0, 7, BOOKE_PAGESZ_4M, 1),
+                     0, 6, BOOKE_PAGESZ_64M, 1),
 
 };
 
 
 
 Sodimm flash:
        intel V28F128Jx, 16384x8 (4 devices) at 0xfb80_0000
+       Note that this address reflects the default setting for
+       the JTAG debugging tools, but since the alignment is
+       rather inconvenient, u-boot puts it at 0xec00_0000.
 
 
        Jumpers:
 0000_0000      0fff_ffff       MCS0,1  64      DDR2 (256MB)
 f000_0000      f7ff_ffff       CS3,4   32      LB SDRAM (128MB)
 f800_0000      f8b0_1fff       CS5     -       EPLD
-fb80_0000      ff7f_ffff       CS6     32      SODIMM flash (64MB)
+fb80_0000      ff7f_ffff       CS6     32      SODIMM flash (64MB) [*]
 ff80_0000      ffff_ffff       CS0     8       Boot flash (8MB)
 
+[*] fb80 represents the default programmed by WR JTAG register files,
+    but u-boot places the flash at either ec00 or fc00 based on JP12.
+
 The EPLD on CS5 demuxes the following devices at the following offsets:
 
 offset         size    width   device
 
  * FLASH on the Local Bus
  * Two banks, one 8MB the other 64MB, using the CFI driver.
  * Boot from BR0/OR0 bank at 0xff80_0000
- * Alternate BR6/OR6 bank at 0xfb80_0000
+ * Alternate BR6/OR6 bank at 0xec00_0000
  *
  * BR0:
  *    Base address 0 = 0xff80_0000 = BR0[0:16] = 1111 1111 1000 0000 0
  * 1111 1111 1000 0000 0000 1000 0000 0001 = ff800801    BR0
  *
  * BR6:
- *    Base address 6 = 0xfb80_0000 = BR6[0:16] = 1111 1011 1000 0000 0
+ *    Base address 6 = 0xec00_0000 = BR6[0:16] = 1110 1100 0000 0000 0
  *    Port Size = 32 bits = BRx[19:20] = 11
  *    Use GPCM = BRx[24:26] = 000
  *    Valid = BRx[31] = 1
  *
  * 0    4    8    12   16   20   24   28
- * 1111 1011 1000 0000 0001 1000 0000 0001 = fb801801    BR6
+ * 1110 1100 0000 0000 0001 1000 0000 0001 = ec001801    BR6
  *
  * OR0:
  *    Addr Mask = 8M = OR1[0:16] = 1111 1111 1000 0000 0
  */
 
 #define CONFIG_SYS_BOOT_BLOCK          0xff800000      /* start of 8MB Flash */
-#define CONFIG_SYS_ALT_FLASH           0xfb800000      /* 64MB "user" flash */
+#define CONFIG_SYS_ALT_FLASH           0xec000000      /* 64MB "user" flash */
 #define CONFIG_SYS_FLASH_BASE          CONFIG_SYS_BOOT_BLOCK   /* start of FLASH 16M */
 
 #define CONFIG_SYS_BR0_PRELIM          0xff800801
-#define CONFIG_SYS_BR6_PRELIM          0xfb801801
+#define CONFIG_SYS_BR6_PRELIM          0xec001801
 
 #define        CONFIG_SYS_OR0_PRELIM           0xff806e65
 #define        CONFIG_SYS_OR6_PRELIM           0xfc006e65