[PATCH] ppc64: mark failed devices