[L] Change in coreboot[main]: mb/asrock: Add Z87M OC Formula (Haswell)

[Jan Philipp Groß (Code Review)]

Attention is currently required from: Angel Pons, Felix Singer, Jan Philipp Groß, Máté Kukri.

Hello Angel Pons, Máté Kukri, Nicholas Chin, build bot (Jenkins),

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

https://review.coreboot.org/c/coreboot/+/82906?usp=email

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

The following approvals got outdated and were removed:
Verified+1 by build bot (Jenkins)

Change subject: mb/asrock: Add Z87M OC Formula (Haswell)
......................................................................

mb/asrock: Add Z87M OC Formula (Haswell)

This port was done via autoport and subsequent manual tweaking.
Special thanks to Nicholas Chin! This port would have never succeeded
without his help.

The board features two socketed DIP-8 SPI flash chips, as well as a
BIOS selection switch and onboard Power and Reset switches.

Working:
- Haswell MRC.bin
- All four DDR3/DDR3L DIMM slots
- S3 suspend and resume
- Libgfxinit
- HDMI-Out Port
- USB 2.0 Ports
- Vertical Type A USB 2.0
- USB 3.1 Gen1 Ports
- HD Audio Jack (audio output)
- Front panel audio connector (audio output)
- RJ-45 Gigabit LAN Port
- SATA3 6.0 Gb/s connectors
- mSATA/mini-PCI Express slot
- half mini-PCI Express slot
- PCI Express 3.0 x16 slots (both)
- PCI Express 2.0 x4 slot
- PCI Express 2.0 x1 slot

Working (board-specific)
- Power Switch with LED (functional, yet no LED)
- Reset Switch with LED (functional, yet no LED)
- BIOS Selection Switch
- Slow Mode Switch (locks the CPU at 800MHz)

not (yet) tested:
- IR header
- COM Port header
- Power LED header
- eSATA connector
- USB 2.0 headers
- PS/2 Mouse/Keyboard Port
- HDMI-In Port
- Optical SPDIF Out Port

not (yet) working:
- Software fan control: While the Nuvoton chip is correctly discovered,
the numbering of the fan connectors is faulty, resulting in the wrong
fan being controlled.
- Dr. Debug: on vendor firmware, the LEDs turn off after successful
boot. On coreboot, the LED shows two bright zeros after boot.
- Post Status Checker (PSC)

Change-Id: Iaa156b34ed65e66dd5de5a26010409999a5f8746
Signed-off-by: Jan Philipp Groß 
---
A src/mainboard/asrock/z87m_oc_formula/Kconfig
A src/mainboard/asrock/z87m_oc_formula/Kconfig.name
A src/mainboard/asrock/z87m_oc_formula/Makefile.mk
A src/mainboard/asrock/z87m_oc_formula/acpi/ec.asl
A src/mainboard/asrock/z87m_oc_formula/acpi/platform.asl
A src/mainboard/asrock/z87m_oc_formula/acpi/superio.asl
A src/mainboard/asrock/z87m_oc_formula/board_info.txt
A src/mainboard/asrock/z87m_oc_formula/bootblock.c
A src/mainboard/asrock/z87m_oc_formula/data.vbt
A src/mainboard/asrock/z87m_oc_formula/devicetree.cb
A src/mainboard/asrock/z87m_oc_formula/dsdt.asl
A src/mainboard/asrock/z87m_oc_formula/gma-mainboard.ads
A src/mainboard/asrock/z87m_oc_formula/gpio.c
A src/mainboard/asrock/z87m_oc_formula/hda_verb.c
A src/mainboard/asrock/z87m_oc_formula/romstage.c
15 files changed, 510 insertions(+), 0 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/06/82906/11