mirror of
https://review.haiku-os.org/haiku
synced 2025-01-19 21:11:28 +01:00
80abc9a907
This fixes the 32-bit build following the merge of multiple bootloaders support. Fixes #14656.