+ added a few BMI instructions to see if they can be encoded

git-svn-id: http://svn.freepascal.org/svn/fpc/trunk@24907 3ad0048d-3df7-0310-abae-a5850022a9f2