I just tried building a pmax kernel with profiling enabled, and it died in the UVM code before starting init. Does anyone know when kernel profiling last worked? Is it known to have worked after the u-area double mapping was removed? How about after the base of Tohru's branch?