palo removes the "3/vmlinux" parameter (and the initrd= one too) before passing command line to the kernel which is consistent with x86 I think. Would it be helpful to add a kernel parameter like "palo_kernel=3/vmlinux" which you could then retrieve from /proc/cmdline? I know it's a pain to turn 3/vmlinux into /boot/vmlinux but 3/vmlinux is all palo knows. -P