The 8572 is a dual core processor, not reason not to describe both
cores in the device tree.
Signed-off-by: NKumar Gala <galak@kernel.crashing.org>