> [Does the kernel eat arguments?]

Found the answer myself: 

init/main.c:

/*
 * Unknown boot options get handed to init, unless they look like
 * failed parameters
 */
static int __init unknown_bootoption(char *param, char *val)

Yes, it does and I'll have to use a different string.

Have a nice day,

Nico