dev-arm: Take into account PPI enable bit