[OpenBIOS] Re: [RFC PATCH v2 2/4] target/ppc: Disable unused facilities in the e600 CPU