[S] Change in libgfxinit[master]: dp info: Provide Link_Status'Object_Size and padding

[Nico Huber (Code Review)]

Attention is currently required from: Nico Huber.

Hello Angel Pons,

I'd like you to reexamine a change. Please visit

https://review.coreboot.org/c/libgfxinit/+/68105

to look at the new patch set (#2).

Change subject: dp info: Provide Link_Status'Object_Size and padding
......................................................................

dp info: Provide Link_Status'Object_Size and padding

We convert a plane byte buffer to a `Link_Status` object via an
`Unchecked_Conversion`. While the situation is actually clear
to the compiler because of the record representation clause for
`Link_Status`, SPARK rules demand an explicit `'Object_Size`.

The `'Object_Size` attribute specifies the exact size the
compiler should allocate for objects of the given type. The
`Padding` field is added to fill the gap left by reserved
bits.

Change-Id: Id7f6b9f50105d9357adcb60fd551b719d9eccd30
Signed-off-by: Nico Huber 
---
M common/hw-gfx-dp_info.adb
M common/hw-gfx-dp_info.ads
2 files changed, 28 insertions(+), 1 deletion(-)

git pull ssh://review.coreboot.org:29418/libgfxinit refs/changes/05/68105/2