Re: [OpenBIOS] [PATCH] Avoid including <asm/page.h>