Add ppa for hal