Hi, thanks for this really helpful tutorial. I just wanted to comment that the one thing I ran into trouble with was the coreboot settings. In particular, I set my bios size to 4MB (as you did), and this