Update Kernel to fix bug introduced in previous commit.