P715: missing HAL packages

Change-Id: Ia49638df79dd41cce50e96403ac7fc46bd147c13