[OpenBIOS] Filesystem code in BIOS