Only allow --load if ENABLE_VHPI