[SeaBIOS] [Seabios RFC PATCH 1/1] get lapic IDs from fw_cfg