I also confirm that the kernel 3.0.0-19.32 in proposed fixes the issue. After installing it, my machine boots with default kernel parameters.
I also confirm that the kernel 3.0.0-19.32 in proposed fixes the issue. After installing it, my machine boots with default kernel parameters.