FYI, the Nexus 4 is quad core. However, the Nexus 10 is only dual! I've tried switching to a tablet at the beginning of the year but web browsing performance wasn't good enough for me. Hope the dual core downgrade won't make that much of a difference.

edit: I was under the impression they both were Samsung Exynos arm processors. Turns out the Nexus 4 is using the Snapdragon S4 Pro and the Nexus 10 is using a A15 Samsung Exynos.