Re: [PATCH v4 12/18] common: board_r: Drop initr_xen wrapper