Re: [OpenBIOS] [PATCH] ofmem: Fix and enable ofmem_claim() trace output