Raspberry Vanilla AOSP 13 device configuration for Raspberry Pi 4.