A casual reader might have previously assumed Raspberry Pi 5 requires this flag to boot in 64-bit mode. That is incorrect - Raspberry Pi 5 follows Raspberry Pi 4 in assuming 64-bit mode by default.

Edit the defaults line to reflect this, and further edit it to include more complete platform names.

The Raspberry Pi 5 does not support the arm_64bit flag at all - and so users should be made aware that if they are reading the documentation in the context of Raspberry Pi 5 they are safe to skip the entire section.

Accepted.

Co-authored-by: nate contino <[email protected]>

Accepted.

Co-authored-by: nate contino <[email protected]>