changing the default boot resolution via a script or autoyast