調べもの：Android kernelビルドのコンパイラオプションの指定方法

build.shのオプションに指定する方法、の模様。

サポートされているbuild.shのオプションは実ファイル内に書かれているので、実際のビルド環境を確認する。
https://android.googlesource.com/kernel/build/+/refs/heads/master/build.sh

「評価ボードの使用 | Android オープンソース プロジェクト | Android Open Source Project」
https://source.android.google.cn/setup/build/devices?hl=ja

「カーネルビルドをカスタマイズする」
https://source.android.com/setup/build/building-kernels?hl=ja#customize-build

> BUILD_CONFIG=common/build.config.db845c ./build/build.sh
> make TARGET_KERNEL_USE=mainline -j24