Checked. It does actually work!
Also building the kernel itself in script/all.