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