\r
// Ideally we would like to use the GICC IIDR Architecture version here, but\r
// this does not seem to be very reliable as the implementation could easily\r
\r
// Ideally we would like to use the GICC IIDR Architecture version here, but\r
// this does not seem to be very reliable as the implementation could easily\r