Otherwise, platform loaders couldn't make heap allocations inside platform_start_kernel(), which some loaders (e.g. EFI) do. Implement calling heap_release() for the BIOS loaders at least. This gets us back the ~1.5MB of bootloader heap memory there.