[lucia] rm deprecated boot.loader.raspberryPi

needs to be fixed still according to https://github.com/NixOS/nixpkgs/pull/241534

machines/bakunin/configuration.nix

@@ -67,7 +67,6 @@
   networking.hostName = "bakunin";
   networking.networkmanager.enable = true;
 
-  sound.enable = true;
   hardware.pulseaudio = {
     enable = true;
     zeroconf.discovery.enable = true;

machines/louise/configuration.nix

@@ -67,7 +67,6 @@
   networking.hostName = "louise";
   networking.networkmanager.enable = true;
 
-  sound.enable = true;
   hardware.pulseaudio = {
     enable = true;
     zeroconf.discovery.enable = true;

machines/lucia/configuration.nix

@@ -20,14 +20,6 @@ in
 
   # Use the extlinux boot loader. (NixOS wants to enable GRUB by default)
   boot.loader.grub.enable = false;
-  boot.loader.raspberryPi.enable = false;
-  boot.loader.raspberryPi.version = 3;
-  boot.loader.raspberryPi.uboot.enable = true;
-  boot.loader.raspberryPi.firmwareConfig = ''
-    dtparam=audio=on
-    hdmi_ignore_edid_audio=1
-    audio_pwm_mode=2
-  '';
 
   # Enables the generation of /boot/extlinux/extlinux.conf
   boot.loader.generic-extlinux-compatible.enable = true;
@@ -39,12 +31,8 @@ in
   # Set your time zone.
   time.timeZone = "Europe/Berlin";
 
-  # hardware audio support:
-  sound.enable = true;
-
   services = {
 
-
   dokuwiki.sites."wiki.malobeo.org" = {
     enable = true;
     #acl = "* @ALL 8";  # everyone can edit using this config