I actually did (I dont know what you mean by initramfs tho). At first I had some problems about some key’s or signatures I think, and after solving that I had to wait a lot until the thing finished to install I guess.I use grub and it gave me automatically the option to choose my kernel. But it wouldn’t boot with the libre kernel sadly. Thankfully I just had to choose my default kernel to boot again. Btw I love your profile pic and name ^^
It’s probably copyright infringement, so I’m in favor of it :)