libserial rename The version that was previously named libserial-newlnx is now libserial-linux, and the version that was previosly named libserial-orig is now libserial-posix. This new naming is more in line with the objective reality of the difference, moving away from naming based on our project history.

#include "types.h"

void
cmd_dieid()
{
	u32 addr;

	for (addr = 0xFFFEF010; addr <= 0xFFFEF016; addr += 2)
		printf("%08X: %04X\n", addr, *(volatile u16 *)addr);
}