SMP kernel freezes during service starts on boot-up