Also, check this doc: https://docs.google.com/document/d/1HqE044Y88vLqtzXa0LtFz_QWH7eRt_70xq8t8jrvgq0/edit

But the basic issue is that those pins need to be setup so the HKSPI will work

now that you have set them something else, the board won't show up because HKSPI can't work with the wrong gpio configs

Check the 'workaround' section in the doc I linked