>>483
今使っていませんが、試してみると普通にビルドはできるようですが。
raspi 4.14.62+