SW: switch to new-style kernels on GRML_FULL