Install the appropriate kernel update from http://server.domain11.example.com/pub/updates.

The following criteria must also be met:

The updated kernel is the default kernel when the system is rebooted

The original kernel remains available and bootable on the system