Minor kernel update

Bug fixes in the update