Re: Rebuild src.rpm kernel driver for non-running kernel