Galaxy S2用の14.1をビルド中なんですが、SELinuxをデフォルトでpermissiveにしようと思い、
device/samsung/galaxys2-common/BoardCommonConfig.mk で BOARD_KERNEL_CMDLINE に
androidboot.selinux=permissive
を足しても、出来上がった boot.img 内のコマンドラインに反映されていません。
何か設定が足りないのでしょうか？いちいち新しくビルドするたびに boot.img に直接書くのはめんどくさい…