PROBLEM:  (79542) (PATCH ID: OSF445-047)
********


This patch fixes a problem where genvmunix does not boot on a system
with an Atalla AXL200 card installed.
PROBLEM: (96000) (PATCH ID: OSF445-677)
********
The problem caused a crash on reboot when running in lockmode 4