Update ARM and TI BSPs to the latest Kirkstone