and in task.c the same thing. Following lines
...
configASSERT( ( ( ( unsigned long ) pxTopOfStack & ( unsigned long ) portBYTE_ALIGNMENT_MASK ) == 0UL ) );
...
portALIGNMENT_ASSERT_pxCurrentTCB( ( ( ( unsigned long ) pxNewTCB->pxTopOfStack & ( unsigned long ) portBYTE_ALIGNMENT_MASK ) == 0UL ) );
should be replaced by
...
configASSERT( ( ( ( portPOINTER_SIZE_TYPE ) pxTopOfStack & ( portPOINTER_SIZE_TYPE ) portBYTE_ALIGNMENT_MASK ) == (portPOINTER_SIZE_TYPE)0 ) );
...
portALIGNMENT_ASSERT_pxCurrentTCB( ( ( ( portPOINTER_SIZE_TYPE ) pxNewTCB->pxTopOfStack & ( portPOINTER_SIZE_TYPE ) portBYTE_ALIGNMENT_MASK ) == (portPOINTER_SIZE_TYPE)0 ) );
...