Index: /trunk/src/VBox/Devices/PC/BIOS/Makefile.kmk
===================================================================
--- /trunk/src/VBox/Devices/PC/BIOS/Makefile.kmk	(revision 42361)
+++ /trunk/src/VBox/Devices/PC/BIOS/Makefile.kmk	(revision 42362)
@@ -67,6 +67,6 @@
 
  # For 32-bit C code in PC BIOS.
- LIBRARIES += VBoxBios32Lib
- VBoxPcBios32_TEMPLATE = VBoxBios32
+ LIBRARIES += VBoxPcBios32
+ VBoxPcBios32_TEMPLATE = VBoxBios32Lib
  VBoxPcBios32_SOURCES = \
        pci32.c