Set-top box Linux (BCM7xxx) - kernel.org baseline