-From 1d8a5891026bb0c8202a62174377b0e8b34a96e2 Mon Sep 17 00:00:00 2001
+From 662f4d7f0f880aa37e3eb6ef1022655e831e855a Mon Sep 17 00:00:00 2001
From: Eric Anholt <eric@anholt.net>
Date: Wed, 14 Sep 2016 09:18:09 +0100
Subject: [PATCH] raspberrypi-firmware: Define the MBOX channel in the header.