¿Dónde se copian los kernel32 DLL?