- fix kernel BRs generation