RE: [RFC PATCH 0/1] Add boot hartid to a Device tree