OMAP_DIE_ID_0
printk(KERN_DEBUG "OMAP_DIE_ID_0: 0x%08x\n", omap_readl(OMAP_DIE_ID_0));
system_serial_high = omap_readl(OMAP_DIE_ID_0);