Temasek kernel update to 130713