[CodeBundle] Update Kernel to match latest changes