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