tmasui: update to linux 3.4 kernel headers