This API now returns an error. Since gic_init_bases() is called early on, there's probably not a whole lot we can do here except send a warning. Change-Id: I2835dacfa191db0ce70434de23e6ee540fe33b57 Signed-off-by: Michael Bohan <mbohan@codeaurora.org>