fixup! fixup! wip: vc4 gpu support

The `disableConcurrentBuilds` pipeline option tells Jenkins to force
subsequent builds _of the same job_ to wait in queue until the one
running has completed.  This is sufficient when there is only one
branch/project in development at a time.  In order to prevent multiple
projects from running simultaneously, we need to acquire a global lock;
all projects need to have this same option in order for it to be
effective.

ci/Jenkinsfile

@@ -8,6 +8,11 @@ pipeline {
         }
     }
 
+    options {
+        disableConcurrentBuilds()
+        lock 'aimee-os'
+    }
+
     stages {
         stage('Prepare') {
             steps {

config.txt

@@ -14,4 +14,5 @@ dtoverlay=miniuart-bt
 
 dtparam i2c_arm=on
 
+dtoverlay=vc4-kms-v3d
 dtoverlay=vc4-kms-dsi-ili9881-7inch

linux.config

@@ -45,13 +45,23 @@ CONFIG_IPV6=y
 CONFIG_IPV6_SIT=m
 CONFIG_IPV6_SIT_6RD=m
 
+CONFIG_INPUT_TOUCHSCREEN=y
+CONFIG_TOUCHSCREEN_EDT_FT5X06=m
+CONFIG_TOUCHSCREEN_RASPBERRYPI_FW=m
+
+CONFIG_REGULATOR_RASPBERRYPI_TOUCHSCREEN_ATTINY=m
+CONFIG_REGULATOR_RASPBERRYPI_TOUCHSCREEN_V2=m
 # CONFIG_MEDIA_CEC_SUPPORT is not set
 # CONFIG_MEDIA_SUPPORT is not set
 CONFIG_DRM=y
+CONFIG_DRM_PANEL_SIMPLE=m
 CONFIG_DRM_PANEL_RASPBERRYPI_TOUCHSCREEN=y
+CONFIG_DRM_TOSHIBA_TC358762=m
 CONFIG_V3D=m
 CONFIG_VC4=m
 CONFIG_DRM_SIMPLEDRM=y
+CONFIG_BACKLIGHT_CLASS_DEVICE=m
+CONFIG_BACKLIGHT_RPI=m
 
 CONFIG_SOUND=m
 CONFIG_SND=m