BETA: new abbrev: PAEK (PA enhanced kernel)