Fix bug in init_initrd Incorrect cast of the initrd pointer to a size_t; in our simple flat file system design it's a single byte
Fix bug in init_initrd
Incorrect cast of the initrd pointer to a size_t; in our simple flat
file system design it's a single byte

orodley/studix,orodley/studix