Add PL011 interrupt mask setting code