Are you sure thats correct. I was able to find the

"defoptions=quiet splash i8042.nomux=1"

but i couldn't find the other lines. I was able to find lines close, but not word for word the same. Any ideas?