Remove the obsolete zynq-miami machine

Has been replaced by 'topic-miami', no need to maintain this.
Fix revision number in linux kernel recipe

The SRCREV the recipe used to refer to no longer exists.