The low bits of GICR_PROPBASER are defined as
The number of bits of LPI INTID supported, minus one, by the LPI
Configuration table starting at Physical_Address.
but flsl(1 << n) returns n + 1; so we need to subtract 2use ilog2_long instead of
one.
PR: 285677
Reported by: Julien Grall
Sponsored by: Amazon