Hi Petr,
Given the comments from Kevin, I have reverted my seabios floppy.c file
to what it was before my changes.
Seabios is not the right place to configure the CMOS_FLOPPY_DRIVE_TYPE
in the rtc, I think that role is probably better for coreboot itself.
So, just for completeness sake, even
Previously we would unconditionally lower the alignment for large BARs
in case their alignment was greater than "pci_mem64_top >> 11", this
would make it impossible to use these devices by the kernel:
[ 13.821108] pci :9c:00.0: can't claim BAR 1 [mem
0x660-0x67f 64bit
