Re: [OpenBIOS] [PATCH] grubfs: don't try to read a file beyond its end