Merge "Use proper alignment and padding for pointer arguments -- HAL." into sc-dev