linux-libre-5.3.8-gnu-1 kernel does not load the ath9k driver for Atheros AR92, prints extra messages on boot and keeps printing until successful login, fails to shutdown or reboot on coreboot Lenovo thinkpad x230 model.

<pre>
lspci -knn | grep Net -A3; rfkill list
00:19.0 Ethernet controller [0200]: Intel Corporation 82579LM Gigabit Network Connection (Lewisville) [8086:1502] (rev 04)
DeviceName: Ethernet controller
Subsystem: Lenovo 82579LM Gigabit Network Connection (Lewisville) [17aa:21f3]
Kernel driver in use: e1000e
Kernel modules: e1000e
00:1a.0 USB controller [0c03]: Intel Corporation 7 Series/C216 Chipset Family USB Enhanced Host Controller #2 [8086:1e2d] (rev 04)
--
02:00.0 Network controller [0280]: Qualcomm Atheros AR9285 Wireless Network Adapter (PCI-Express) [168c:002b] (rev 01)
Subsystem: Hewlett-Packard Company U98Z062.12 802.11bgn Wireless Half-size Mini PCIe Card [103c:3040]
Kernel modules: ath9k
0: hci0: Bluetooth
Soft blocked: no
Hard blocked: no
</pre>

Extra boot messages https://i.imgur.com/56lZhA2.jpg