Michał Błaszczyk

The current code assumes that malloc's `ALIGNMENT` is divisible by `STACK_ALIGN`. Although it turns out to be always valid for the present implementation, this assumption should be dropped.

Introduction of the FreeBSD header containing register definitions for the DWC OTG host controller device.

These are mainly leftovers after #935.

[dev] Device intialization with lazy resource creation.

2

The main goal of this PR is to remove hardcoded dependencies between devices by assigning resources lazily and changing the device initialization scheme to allow multiple entrances to the driver's...