Raspberry Vanilla AOSP 15 device configuration for Raspberry Pi 4.