hal_ppmc: port to uspace