File psl-1983/3-1/kernel/20/fresh-kernel.ctl from the latest check-in

rename 20.SYM PREVIOUS-20.SYM
copy PC:BARE-PSL.SYM 20.SYM
; To regenerate the .CTL files:
; PSL:PSL
; (dskin "20-kernel-gen.sl")