Following Dave Martin's point over the is_valid_bugaddr() it was found that both is_valid_bugaddr() is broken w.r.t to BE8 as well as the BUG() macro creation. These two patches fix the problems.