This will allow to pick different kernels for different boards. It's in preparation for uploading debs to the archive to get rid of the workarounds for not doing so.
Signed-off-by: Guido Günther guido.gunther@puri.sm
This will allow to pick different kernels for different boards. It's in preparation for uploading debs to the archive to get rid of the workarounds for not doing so.
Signed-off-by: Guido Günther guido.gunther@puri.sm