tmasui: update to linux 3.4 kernel headers
Enable ION API