From 0d14a2c7f52cd48780b122e4a3350c6cf9bd0c4f Mon Sep 17 00:00:00 2001
From: Braiden Vasco <braiden-vasco@users.noreply.github.com>
Date: Thu, 6 Jul 2017 23:44:27 +0000
Subject: [PATCH] Pin package "raspberrypi-kernel-headers"

---
 files/etc/apt/preferences.d/raspberrypi-kernel-and-bootloader | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/files/etc/apt/preferences.d/raspberrypi-kernel-and-bootloader b/files/etc/apt/preferences.d/raspberrypi-kernel-and-bootloader
index 6e1c43b..3eda469 100644
--- a/files/etc/apt/preferences.d/raspberrypi-kernel-and-bootloader
+++ b/files/etc/apt/preferences.d/raspberrypi-kernel-and-bootloader
@@ -2,6 +2,10 @@ Package: raspberrypi-kernel
 Pin: version 1.20170515-1
 Pin-Priority: 1100
 
+Package: raspberrypi-kernel-headers
+Pin: version 1.20170515-1
+Pin-Priority: 1100
+
 Package: raspberrypi-bootloader
 Pin: version 1.20170515-1
 Pin-Priority: 1100