Add macos nuild information

It appears that building the firmware on macos is more complicated
than it should normally be, due to some toolchain issues.

Kacper has provided some valuable information on the subject, so
dump them here.

Signed-off-by: Marc Zyngier <maz@kernel.org>
1 file changed