Re: can kernel platform driver name be different than module name?