Add argument to printf of misa check. Enhance misa check for PULP

Created by: GTumbush

Fixes 2 issues with the MISA check in hello-world.c

1. printf had no argument for format specifier %x
2. check would fail if PULP was defined.