do_debug_exception() goes out of its way to return a value that isn't
ever used, so just make the thing void.
Reviewed-by: NMark Rutland <mark.rutland@arm.com>
Signed-off-by: NWill Deacon <will.deacon@arm.com>