[PATCH] fix kernel oops with badly formatted module option