makefile: allow platform files with gnu sed

Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>