AHCI IDENTIFY command troubles

[Octocontrabass]

§6.5

(edit: whoops, accidentally looked at the wrong number for the section heading)

[shmx]

6.5.7 Bitwise shift operators

???

[shmx]

§6.5

I don't see in this section the required description. Please show a quote.
I know that may be problems with alignment (to x86 usually do not apply). But it seems like it does not refer to the language.

[Octocontrabass]

An object shall have its stored value accessed only by an lvalue expression that has one of the following types:*

—a type compatible with the effective type of the object,
—a qualified version of a type compatible with the effective type of the object,
—a type that is the signed or unsigned type corresponding to the effective type of the object,
—a type that is the signed or unsigned type corresponding to a qualified version of the effective type of the object,
—an aggregate or union type that includes one of the aforementioned types among its members (including, recursively, a member of a subaggregate or contained union), or
—a character type.

*The intent of this list is to specify those circumstances in which an object may or may not be aliased.

[shmx]

Object type is uint32_t. Access is provided via pointer to uint32_t. Aliasing with char* is correct.
What's wrong?