C11: Provide the missing half of <stdalign.h>