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


Trivial merge