tree 7669aa3491be4f5aaccb9bbca53f4f4b04526b1e
parent c1f2a47c9b7b909542a65d2138e9c3c95227bac6
author Thomas Heijligen <thomas.heijligen@secunet.de> 1632580069 +0200
committer Nico Huber <nico.h@gmx.de> 1674995342 +0000

os.h: remove unneeded include

No symbol from platform.h is used in os.h

Change-Id: Ia8f463ab8f9f064fe79f5ee0840b851ae497a080
Signed-off-by: Thomas Heijligen <thomas.heijligen@secunet.de>
Original-Reviewed-on: https://review.coreboot.org/c/flashrom/+/57936
Original-Reviewed-by:  Felix Singer <felixsinger@posteo.net>
Original-Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-on: https://review.coreboot.org/c/flashrom-stable/+/72235
Reviewed-by: Nico Huber <nico.h@gmx.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>