When building the hyp kernel, setup instruction counters with PL2 cycles included by default
When building the hyp kernel, setup instruction counters with PL2 cycles included by default

seL4/libsel4bench,seL4/libsel4bench