Merge pull request #9293 from BKPepe/boost
authorRosen Penev <redacted>
Sun, 23 Jun 2019 14:47:31 +0000 (07:47 -0700)
committerGitHub <redacted>
Sun, 23 Jun 2019 14:47:31 +0000 (07:47 -0700)
boost: Makefile polishing and fix raw kconfig syntax


Trivial merge
git clone https://git.99rst.org/PROJECT