In system 27.84 nws, with microcode 667, on LISP Machine Two: PKG-LOAD seems broken. For example, (PKG-LOAD 'ETHER 'SI:COMPILE) indeed calls COMPILE-FILE-ALIST but then goes and loads all the old qfasl files. Furthermore when no qfasl file exists, it just loads (not compiling) the source.