This is an application for Android 4.0+, which allows to set disk encryption password different from lock screen password.