Recently, while debugging a display, I had to change the kernel boot parameters several times and needed to know what boot parameters were used to boot the running kernel. After some search I discovered the trick (from this post) -

cat /proc/cmdline