Re: [OpenBIOS] [PATCH 6/6] libc: Fix build on recent gcc