Update kernel headers to linux-3.16.1, strace to 4.8, and changed toolchain name to boostedtc

Signed-off-by: Hieu Phan <aznrice2k4@gmail.com>