C library: fix use of va_list for AARCH64#8366

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-8357-va_listtautschnig/cbmc:fix-8357-va_listCopy head branch name to clipboard