Sizing the partitions is a step you (can) take when formatting the drive… And from what I can tell the Envy has an M2 nvme in it, and it just seems crazy to me to basically just ignore that to boot off of an SD card/USB drive…
How sure are you that you want to be using Linux? Lol
Sadly, that’s actually on the higher end of the spectrum when it comes to American vehicles