The reasons I'm thinking using a HAL directly in discovery book is this:

* It's more easily relatable to other boards
* It's easier to port the example code to other hardware
* It's less maintenance overhead to go via a board support crate.
* The board itself doesn't seem to be a particular important part of the discovery book teachings.