Restructure platforms list for easier extensibility & cleanup whitespace

Primarily, this is a minor restructuring of `src/boot/platforms.r` to make it easier to maintain (and merge).

On top of that, the platform build specification is consistently reformatted. Previously, this consistently used hard tabs for indentation, but a complete mixture of tabs and spaces for alignment. This is cleaned up to consistently use hardtabs both for indentation and alignment.