kernel: temporarily use external source prebuilt