Yes just the standard kernel.
$this->bbcode_second_pass_code('', '
pacman -Qs kernel
local/iptables 1.6.1-1
Linux kernel packet control tool
local/kmod 24-1
Linux kernel module management tools and library
local/libdrm 2.4.81-1
Userspace interface to kernel DRM services
local/linux-api-headers 4.10.1-1
Kernel headers sanitized for use in userspace
local/linux-raspberrypi 4.9.38-1
The Linux Kernel and modules - Raspberry Pi
local/mtdev 1.1.5-1
A stand-alone library which transforms all variants of kernel MT events to
the slotted type B protocol
')
I've done some major rebooting and can reproduce the issue still.
1=ok, x=fail
No HDMI Monitor: 11x1x
HDMI Monitor: 111111
No HDMI Monitor: 111x
All affected PI's have Piface Digital cards attached (hence SPI in config.txt)
I removed this in case is was causing issue.
No HDMI Monitor: 1x (so still happens without Piface, but SPI still enabled in config.txt)
HDMI Monitor: 11111
No HDMI Monitor: x111xxx
Monitor: 11
This seems worse than last time on 7th Jul. Looks like it always boots ok with monitor attached.
When ethernet doesn't come up, neither does the USB (this machine has a USB audio card with a light on it).
But without monitor its kind of hard to see what's happening...
Regards
Andrew