Raspberry PiのKernelがupdateされない

まあ，ボランティアの人たちの仕事ですから，文句は言えないんですが，2018年4月26日 22:20 JST現在，公式Kernelの4.14.y系列の最新版は，4.14.37ですが，rpi-updateで更新される，Raspberry Pi 用のKernelは4.14.34で止まったままです．

追記

2018/04/27にupdateが来ました．4.14.37になりました．