vxge: use max() instead of VXGE_HW_SET_LEVEL