Merge "Update VHAL types.hal" into pi-dev