Update hal_specification.md

typos
Merge pull request #17 from galdiolo/patch-1

Update hal_specification.md