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