hal: Add missing includes

* pthread.h include was missing so we add it.
* Fixes compilation with BOARD_VNDK_VERSION.

Change-Id: I297a0fc0cf4763b3550e1a8d37f2653b77b6e3a8
3 files changed