microwatt/tests/test_privileged.bin