This has been solved thanks to Simas who tweaked the kernel config produced by adjustkernel a little bit extra. Still wish I knew why the adjustkernel config doesn't work "out of the box" but nevermind... -- Ja'far