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.
2 jobs for evk-pulse in 47 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #7106
librem5
build-debian-package

00:00:47

failed #7105
librem5
build-debian-package

00:00:12