x86: Update the check for BRK_END