fix: select systemd as default service provider on Raspbian 13

[raman1236]

Description

Add Raspbian 13 (trixie) to the list of versions that default to the systemd service provider.

Problem

On 32-bit Raspberry Pi OS 13 (trixie), which is branded as Raspbian, puppet selects init instead of systemd as the default service provider. This causes the warning:

Warning: Found multiple default providers for service: init, systemd; using init

and service resources fail.

Fix

Add '13' to the defaultfor array for Raspbian in the systemd service provider, matching the same pattern established for Raspbian 12 in the fix for #9169.

Test

Added a spec test for Raspbian 13 matching the existing Raspbian 12 test.

Fixes #9565

[raman1236]

Friendly ping — this PR ensures systemd is selected as the default service provider on Raspbian 13 (bookworm), matching standard Debian behavior. Would appreciate a review. Thanks!

[ngreatorex]

Would it be possible for somebody to take a look at this? It's been over 9 months since I reported the issue and nearly 4 months since this PR was posted.

[raman1236]

@jst-cyr can you please review this MR and suggest us the next steps please

[jst-cyr]

I'm not part of the engineering team that owns this so I can't do the full review, but happy to help in whatever way I can! Just taking a look at the request, it seems like this was submitted to the Open Source Puppet, last released as 8.10, back a few years ago almost. Ongoing dev work and new platforms is happening with Puppet Core (8.21 just released, along with Puppet Core 9.0).

I took a look at the latest Puppet Core and it looks like Raspbian 13 is not in the list for systemd in Puppet Core, it still only has 12. I'll reach out to the team and see if we are still adding Raspbian platforms in.