kernel: increase nr of cpu's of the legacy intel kernel.