Add powerd_enable for RPI4

[mchoo]

Summary

PR
PR reporter's explanation on Google Docs, please read "Raspberry Pi" section in "Installing FreeBSD"

After this revision is accepted, there should be two sd card iso files for Raspberry Pi, Raspberry Pi 4 and the rest using aarch64 architecture.

Test Plan

cd /usr/src/release
sh release.sh -c arm/RPI.conf
sh release.sh -c arm/RPI4.conf

[mchoo]

Change ISO name for RPI4

[• karels]

I added the following comment to the bug:

The current 64-bit RPI image is shared by multiple models, including 3B+ and 4B.  However, the RPi 3B+ can benefit from enabling powerd as well, as can derivatives of the 4B.  I don't see any reason not to enable powerd on the current RPI image.

btw, I have a different change to enable powerd in the RPI image (not using the quirk hook), but the net effect is the same.

[• karels]

I spoke too soon. The quirk mechanism won't work here without other changes, as /etc/rc.conf is truncated after the quirk is called.

[• karels]

I put my change in review https://reviews.freebsd.org/D43296. Comments welcome.

[mchoo]

This revision is succeeded by D43296. Closing revision