Ralf, can you attach your /proc/iomem contents, too? I looked at the "SP5100 TCO timer: mmio address 0xfec000f0 already in use" message, but I don't see why that address is in use.