Docs: Adding PDK HAL target and fixing links/typo.
Bug: 9177537

Change-Id: Ib1719d03ca6ad2c325b49d751f415ce97a0f6708
3 files changed