Add SerenityOS to platform.h