Temasek Kernel 141013
Updated source