Re: A new book: "Systemd (feat. Linux)"
Also possible with some trickery in kconfig. If the onboard audio uses a different driver than the card, then bake its driver into the kernel and the card's driver as a module. The built-in will be detected and setup shortly after the kernel starts booting and the card would need to wait until /lib is mounted to load its module.