Build kernel but use prebuilt (thanks syhost)