Index: /trunk/src/VBox/Devices/PC/BIOS/Makefile.kmk
===================================================================
--- /trunk/src/VBox/Devices/PC/BIOS/Makefile.kmk	(revision 42358)
+++ /trunk/src/VBox/Devices/PC/BIOS/Makefile.kmk	(revision 42359)
@@ -67,5 +67,5 @@
 
  # For 32-bit C code in PC BIOS.
- LIBRARIES += VBoxPcBios32Lib
+ LIBRARIES += VBoxBios32Lib
  VBoxPcBios32_TEMPLATE = VBoxBios32
  VBoxPcBios32_SOURCES = \