How to update a VIOS (Virtual Input Output Server)