Update Temasek Kernel presets