Linux/4004: booting Linux on Intel 4004 for fun, art, and no profit