Constant sel4_config::consts::ENABLE_A9_PREFETCHER

pub const ENABLE_A9_PREFETCHER: bool = false;