kernel: fix pspec.xml