Use *cpus_addr() to display the mask of pending/to be called CPUs.
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>