Temasek kernel update to 140713