[arch-general] Note on TDE - gcc 4.7.1 resolves kwrite crash