Fully merged with temasek hlte kernel.