Fix temasek defconfig