Update ps2_internal.v