ipg.c doesn't compile with with CONFIG_HIGHMEM64G