[BUG] : MISA CSR does not implement BITMANIP extension

Created by: AyoubJalali

Is there an existing CVA6 bug for this?

I have searched the existing bug issues

Bug Description

Hello, Trying to cover reset value on MISA CSR for CV32A60X (embedded application), and i get that following value : 0x40001104, and decoding tha value using the Table 3.2: Encoding of Extensions field in misa in privlied RISCV spec (page 31)

you can see clearly that bitmanip extension is decoded in the second bit, so the reset value isn't correct, normally as the bitmanip extension is enabled in CV32A60X the reset value should be : 0x40001106