reassign 328424 kernel thanks Sven, can you start a dialog with the relevant boot loader people about this? Or alternatively, provide me with a list of such people and I will start a dialog? -- Horms