if (readl(IXP425_OSST) & IXP425_OSST_TIMER_TS_PEND) {
                /* rollover of timestamp timer register */
-               gd->timestamp += (0xFFFFFFFF - gd->arch.lastinc) + now + 1;
+               gd->arch.timestamp += (0xFFFFFFFF - gd->arch.lastinc) + now + 1;
                writel(IXP425_OSST_TIMER_TS_PEND, IXP425_OSST);
        } else {
                /* move stamp forward with absolut diff ticks */
-               gd->timestamp += (now - gd->arch.lastinc);
+               gd->arch.timestamp += (now - gd->arch.lastinc);
        }
        gd->arch.lastinc = now;
-       return gd->timestamp;
+       return gd->arch.timestamp;
 }
 
 
        /* capture current timestamp counter */
        gd->arch.lastinc = readl(IXP425_OSTS_B);
        /* start "advancing" time stamp from 0 */
-       gd->timestamp = 0;
+       gd->arch.timestamp = 0;
 }
 
 ulong get_timer_masked(void)
 
        unsigned long tbl;
        unsigned long lastinc;
        unsigned long long timer_reset_value;
+#ifdef CONFIG_IXP425
+       unsigned long timestamp;
+#endif
 };
 
 /*
        unsigned long   fb_base;        /* base address of frame buffer */
 #ifdef CONFIG_FSL_ESDHC
        unsigned long   sdhc_clk;
-#endif
-#ifdef CONFIG_IXP425
-       unsigned long   timestamp;
 #endif
        unsigned long   relocaddr;      /* Start address of U-Boot in RAM */
        phys_size_t     ram_size;       /* RAM size */