We can now build the ARM kernel (but not link it).