Only use '__attribute__ ((__noreturn__))' when available

Signed-off-by: Davide Madrisan <davide.madrisan@gmail.com>