Re: SMP support for base-hw kernel