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.