raspberrypi-hpl/scripts/CONFIG