40ed1cb Allow passing `--platform-id` (`-p`) to build_module_locally.

Authored and Committed by jkaluza 5 years ago
    Allow passing `--platform-id` (`-p`) to build_module_locally.
    
    Currently, the PLATFORM_ID is parsed from the `/etc/os-release`. This
    is good default value, but sometimes you want to build module locally
    against the different platform stream.
    
    For example building on platform:f29 against the platform:f30 modules. In
    that case, we need to be able to override the host PLATFORM_ID and
    set it manually chosen value.