[PATCH 4.9 12/32] objtool: Add machine_real_restart() to the noreturn list