Re: [PATCH] realtime profile: fix nowatchdog kernel command line option