DOC-1017486 is a test lab for using docker images. The latest kernel patch applied 4.1.12-124.48.3.1, but did not install the kernel header package. The system runs, but has lost the ability to release the mouse and keyboard to the host. It can automount a Windows share. An attempt to install a newer revision of the GuestServices iso failed with "kernel headers not found for target kernel 4.1.12-124.48.3.1. Install these and retry the install". A search on the internet for the missing kernel header package yielded zero results. I guess I will have to wait until there is another major kernel update for a fix, unless someone at Oracle responsible for the VM kernel updates realizes they goofed and neglected to include the kernel headers for this patch.