Acceptance criteria

• Update real-time Linux guides to reflect the latest changes for the RPI4 image release
• De-duplicate RT kernel build instructions rtwg_documentation#29
• Add document explaining how to set kernel boot options rtwg_documentation#43