base-defaults: Add PulseAudio profile for devkit

This is a workaround for the devkit's audio not working properly with
PulseAudio (linux-emcraft#19).  There is no standard "front" device
for the SGTL5000 codec so PulseAudio fails to probe the card properly
with the default profile.  We create a new profile specifically for
the devkit and direct PulseAudio to use it through a udev rule.
1 job from evk-pulse in 46 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #7209
librem5
build-debian-package

00:00:46