doc update: add notes about gmake options and settings.mk usage
Merge branch 'stable'