x86: add RESERVE_BRK_ARRAY() helper