User:Jens3/Installing Gentoo on a Raspberry Pi 400/qemu